Add "Pause" to Priority menu

[micropolis] / res / whead.tcl

diff --git a/res/whead.tcl b/res/whead.tcl
index e782f90130539da131150a62b1e507127f7a4918..5432324df52a1ec7becd98fd66f4cbd9cac89e80 100644 (file)
--- a/res/whead.tcl
+++ b/res/whead.tcl
@@ -324,6 +324,10 @@ bind $win.col1.w1.f1.priority.m <Alt-Key> {tk_traverseToMenu %W %A}
     -command {SetPriority 0}\
     -value {0}\
     -variable Priority
+  $win.col1.w1.f1.priority.m add checkbutton\
+    -label {Pause}\
+    -command {TogglePause}\
+    -variable Pause
 
 SetHelp $win.col1.w1.f1.windows Head.WindowsMenu