]> git.zerfleddert.de Git - micropolis/blobdiff - res/whead.tcl
src/sim/makefile: Micropolis build fixes for recent macOS
[micropolis] / res / whead.tcl
index e782f90130539da131150a62b1e507127f7a4918..2f568f117ee8b295189b861d2c7fd2aedd6e740d 100644 (file)
@@ -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
 
@@ -540,13 +544,15 @@ scrollbar $win.col1.w1.f2.f2.scroll\
 
 SetHelp $win.col1.w1.f2.f2.scroll Head.Scrollbar
 
+global EventLines
+
 text $win.col1.w1.f2.f2.text \
   -yscroll "$win.col1.w1.f2.f2.scroll set" \
   -borderwidth 1 \
   -relief sunken \
   -wrap word \
   -state disabled \
-  -height 5 \
+  -height $EventLines \
   -font [Font $win Text]
 LinkWindow $win.text $win.col1.w1.f2.f2.text
 
Impressum, Datenschutz