X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/blobdiff_plain/a0e770d2a006aa9d6c2703960c68fb607a378039..HEAD:/res/whead.tcl

diff --git a/res/whead.tcl b/res/whead.tcl
index e782f90..2f568f1 100644
--- 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
 
@@ -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