From f761a4e076757e3693d81588eadc62766d3956ca Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Mon, 25 Apr 2011 21:53:00 +0100 Subject: [PATCH] gui: "--showguiplan=0/1" option for easier debugging of certain problems over a remote X session --- hostside/gui | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/hostside/gui b/hostside/gui index 4102e9e..f24e0b8 100755 --- 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 {.+} -- 2.30.2