hbugs_gui hbugs_gui src pixmaps C False False GtkWindow hbugsMainWindow False Hbugs: your personal proof trainer! GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False False True False GtkVBox vbox1 False 0 GtkMenuBar menubar False GTK_SHADOW_OUT 0 False False GtkMenuItem toolsMenu False GtkMenu toolsMenu_menu GtkCheckMenuItem toggleDebuggingMenuItem False True GtkHBox hbox4 False 2 0 False False GtkLabel label11 GTK_JUSTIFY_CENTER False 0.5 0.5 0 0 0 False False GtkEntry clientUrlEntry Local HTTP daemon URL True False True 0 0 True True GtkButton startLocalHttpDaemonButton Start the local HTTP daemon listening on the specified URL True GTK_RELIEF_NORMAL 0 False False GtkButton testLocalHttpDaemonButton True GTK_RELIEF_NORMAL 0 False False GtkVBox vbox4 False 0 0 False True GtkHBox hbox1 False 2 0 False False GtkLabel label1 GTK_JUSTIFY_CENTER False 0.5 0.5 0 0 0 False False GtkEntry brokerUrlEntry HBugs broker URL True False True 0 0 True True GtkButton testBrokerButton True GTK_RELIEF_NORMAL 0 False False GtkHBox hbox2 False 2 0 False False GtkLabel label2 False GTK_JUSTIFY_CENTER False 0.5 0.5 0 0 0 False False GtkLabel clientIdLabel False GTK_JUSTIFY_LEFT False 0.5 0.5 0 0 0 True True GtkButton registerClientButton True GTK_RELIEF_NORMAL 0 False False GtkVPaned vpaned1 10 6 0 0 True True GtkFrame frame3 4 0 GTK_SHADOW_ETCHED_IN False False GtkHBox hbox6 False 2 GtkScrolledWindow scrolledwindow3 GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_UPDATE_CONTINUOUS GTK_UPDATE_CONTINUOUS 0 True True GtkCList subscriptionCList True 1 80 GTK_SELECTION_SINGLE False GTK_SHADOW_IN GtkLabel CList:title label7 GTK_JUSTIFY_CENTER False 0.5 0.5 0 0 GtkFixed fixed1 0 False False GtkButton showSubscriptionWindowButton 0 0 0 0 True GTK_RELIEF_NORMAL GtkFrame frame2 4 250 0 GTK_SHADOW_ETCHED_IN True True GtkVBox vbox6 False 0 GtkScrolledWindow scrolledwindow2 400 GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_UPDATE_CONTINUOUS GTK_UPDATE_CONTINUOUS 0 True True GtkCList hintsCList True 1 80 GTK_SELECTION_SINGLE False GTK_SHADOW_IN GtkLabel CList:title label6 GTK_JUSTIFY_CENTER False 0.5 0.5 0 0 GtkStatusbar mainWindowStatusBar False 0 False False GtkWindow subscribeWindow False Hbugs: subscribe ... GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False False True False GtkVBox vbox8 False 0 GtkButton listTutorsButton True GTK_RELIEF_NORMAL 0 False False GtkScrolledWindow scrolledwindow4 GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_UPDATE_CONTINUOUS GTK_UPDATE_CONTINUOUS 0 True True GtkCList tutorsCList 600 300 True 2 205,80 GTK_SELECTION_EXTENDED True GTK_SHADOW_IN GtkLabel CList:title label12 GTK_JUSTIFY_CENTER False 0.5 0.5 0 0 GtkLabel CList:title label13 GTK_JUSTIFY_CENTER False 0.5 0.5 0 0 GtkHBox hbox5 False 0 0 False False GtkButton subscribeButton True GTK_RELIEF_NORMAL 0 True True GtkButton subscribeAllButton True GTK_RELIEF_NORMAL 0 True True GtkStatusbar subscribeWindowStatusBar 0 False False GtkDialog messageDialog False Message GTK_WINDOW_TOPLEVEL GTK_WIN_POS_CENTER True 220 150 True True False GtkVBox Dialog:vbox dialogVbox1 False 0 GtkHBox Dialog:action_area dialogAction_area1 2 True 5 0 False True GTK_PACK_END GtkButton okDialogButton True GTK_RELIEF_NORMAL 0 False True GtkTable table1 5 1 1 False 0 0 0 True True GtkLabel dialogLabel GTK_JUSTIFY_CENTER True 0.5 0.5 0 0 0 1 0 1 0 0 True True False False True True