make gui-displayer work with new gui-plan-bot

diff --git a/hostside/gui-displayer b/hostside/gui-displayer
index acd395e837188443e4bd2edea2442d10099ca309..25f5caa7f1f7f04c482fe156eecc9b60d88b06aa 100755 (executable)
--- a/hostside/gui-displayer
+++ b/hostside/gui-displayer
@@ -2,13 +2,14 @@
 
 proc widgets {} {
     global widg_pipe
-    set sizes [exec ./gui-plan --sizes]
+    set sizes [exec ./gui-plan-bot --sizes]
     frame .picture -background {} \
            -width [lindex $sizes 0] \
            -height [lindex $sizes 1]
     pack .picture
     tkwait visibility .picture
-    set widg_pipe [open |[list ./gui-plan [winfo id .picture] >&@ stderr] w]
+    set widg_pipe [open |[list ./gui-plan-bot \
+           [winfo id .picture] >&@ stderr] w]
 }
 
 proc setsegbyname {segfeatname command {posnum {}}} {
@@ -100,7 +101,7 @@ proc update_seg {segname} {
        if {[string length $mp]} {
            setsegbyname $mov $command $mp
        } else {
-           setsegbyname $mov off
+           setsegbyname $mov $command
        }
     }
 }