From 7703c830eaa03684fded29c3f17e29b8b2ce9508 Mon Sep 17 00:00:00 2001
From: ian <ian>
Date: Sun, 26 Jun 2005 01:51:02 +0000
Subject: [PATCH] make gui-displayer work with new gui-plan-bot

---
 hostside/gui-displayer | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/hostside/gui-displayer b/hostside/gui-displayer
index acd395e..25f5caa 100755
--- 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
 	}
     }
 }
-- 
2.30.2