gui: "--showguiplan=0/1" option for easier debugging of certain problems over a remot...

diff --git a/hostside/gui b/hostside/gui
index 4102e9eb90f61a6fa634b92be40051b861d5ab08..f24e0b8d05c5dd52526fd291d8c57541c18f6c8f 100755 (executable)
--- a/hostside/gui
+++ b/hostside/gui
@@ -1455,10 +1455,12 @@ register-event ?warning {message} {^.warning (\S+ .*)$} {
 }
 
 register-event {} {} {^=connected } {
-    global pages gui_pipe server port event_selections
+    global pages gui_pipe server port event_selections showguiplan
 
     scmd replayed {} "select-replay [concat $event_selections]"
 
+    if {!$showguiplan} return
+
     foreach page $pages {
        set w [pagew $page]
        tkwait visibility $w.picture
@@ -1508,6 +1510,7 @@ proc main {} {
     setting inputretrymax 15 {\d+}
     setting scaninputinterval 500 {\d+}
     setting showunbound 0 {[01]}
+    setting showguiplan 1 {[01]}
 
     set hostname [lindex [split [info hostname] .] 0]
     setting configfile gui-$hostname.config {.+}