Hbugs: your personal proof trainer! GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False True False True False 0 True Tools True True True Debugging True False 0 False False True False 2 True My URL: False False GTK_JUSTIFY_CENTER False False 0.5 0.5 0 0 0 False False True Local HTTP daemon URL True False True 0 True * False 0 True True True Start the local HTTP daemon listening on the specified URL True Start! True GTK_RELIEF_NORMAL 0 False False True True Test! True GTK_RELIEF_NORMAL 0 False False 0 False False True False 0 True False 2 True Broker: False False GTK_JUSTIFY_CENTER False False 0.5 0.5 0 0 0 False False True HBugs broker URL True False True 0 True * False 0 True True True True Test! True GTK_RELIEF_NORMAL 0 False False 0 False False True False 2 Client ID: False False GTK_JUSTIFY_CENTER False False 0.5 0.5 0 0 0 False False False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 0 True True True True (Re)Register True GTK_RELIEF_NORMAL 0 False False 0 False False 0 False True True 0 4 True 0 0.5 GTK_SHADOW_ETCHED_IN True False 2 True GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True True False False True 0 True True True 0 0 True True Subscribe ... True GTK_RELIEF_NORMAL 0 0 0 False False True Subscriptions False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 label_item False False 4 True 0 0.5 GTK_SHADOW_ETCHED_IN True False 0 True GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True True False False True 0 True True True Hints False False GTK_JUSTIFY_LEFT False False 0.5 0.5 0 0 label_item True True 0 True True True 0 False False Hbugs: subscribe ... GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False True False True False 0 True True Refresh True GTK_RELIEF_NORMAL 0 False False True GTK_POLICY_ALWAYS GTK_POLICY_ALWAYS GTK_SHADOW_IN GTK_CORNER_TOP_LEFT True True True False False True 0 True True True False 0 True True Subscribe to Selected True GTK_RELIEF_NORMAL 0 True True True True Subscribe to All True GTK_RELIEF_NORMAL 0 True True 0 False False True True 0 False False Message GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE True 220 150 True False True True False 0 True GTK_BUTTONBOX_END True True OK True GTK_RELIEF_NORMAL 0 0 False True GTK_PACK_END 5 True 1 1 False 0 0 True False False GTK_JUSTIFY_CENTER True False 0.5 0.5 0 0 0 1 0 1 0 True True