X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2Fhbugs_gui.glade;h=f88a8c3882c1b12d5cecb05fb6a17990b107d275;hb=1fb8d0192e1f7ee891c53dc282c9c9f111e63e3c;hp=09216ec4317a461a7052bbbbe2002862c99e8d26;hpb=35f81e48378eba29e8b8d6dc0eaf22d20f55f3c7;p=helm.git diff --git a/helm/hbugs/client/hbugs_gui.glade b/helm/hbugs/client/hbugs_gui.glade index 09216ec43..f88a8c388 100644 --- a/helm/hbugs/client/hbugs_gui.glade +++ b/helm/hbugs/client/hbugs_gui.glade @@ -1,705 +1,672 @@ - - - - - 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 - GTK_SHADOW_OUT + + + + + + + + Hbugs: your personal proof trainer! + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_NONE + False + True + False + + + + True + False + 0 + - 0 - False - False - + - - GtkMenuItem - toolsMenu - - False - - - GtkMenu - toolsMenu_menu - - - GtkCheckMenuItem - toggleDebuggingMenuItem - - False - True - + + + True + Tools + True + + + + True + + + + True + Debugging + True + False + + + + + + - - - - - GtkHBox - hbox4 - False - 2 - - 0 - False - False + + 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 - + + True + False + 2 - - GtkHBox - hbox1 - False - 2 - - 0 - False - False - - - - GtkLabel - label1 - - GTK_JUSTIFY_CENTER - False - 0.5 - 0.5 - 0 - 0 - 0 - False - False + + True + My URL: + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + - - - GtkEntry - brokerUrlEntry - HBugs broker URL - True - False - True - 0 - - 0 - True - True + + True + Local HTTP daemon URL + True + False + True + 0 + + True + * + False + + + 0 + True + True + - - - GtkButton - testBrokerButton - True - - GTK_RELIEF_NORMAL - 0 - False - False - - - - - - GtkHBox - hbox2 - False - 2 - - 0 - False - False - - - - GtkLabel - label2 - - GTK_JUSTIFY_CENTER - False - 0.5 - 0.5 - 0 - 0 - - 0 - False - False + + True + Start the local HTTP daemon listening on the specified URL + True + Start! + True + GTK_RELIEF_NORMAL + + + 0 + False + False + - - - GtkLabel - clientIdLabel - - GTK_JUSTIFY_LEFT - False - 0.5 - 0.5 - 0 - 0 - 0 - True - True + + True + True + Test! + True + GTK_RELIEF_NORMAL + + + 0 + False + False + + + 0 + False + False + + + + + + True + False + 0 - - GtkButton - registerClientButton - True - - GTK_RELIEF_NORMAL - 0 - False - False + + 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 + - - - GtkButton - unregisterClientButton - True - - GTK_RELIEF_NORMAL - 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 + + - - GtkVBox - vbox5 - True - 0 - 0 - True - True - + + True + 0 - - GtkFrame - frame3 - 4 - - 0 - GTK_SHADOW_ETCHED_IN - - 0 - True - True - - - - GtkVBox - vbox7 - False - 0 - - - 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 - - - - - - GtkButton - showSubscriptionWindowButton - True - - GTK_RELIEF_NORMAL - - 0 - False - False - - - - - - - GtkFrame - frame4 - 8 - - 0 - GTK_SHADOW_ETCHED_IN - - 0 - True - True - - - - GtkHBox - hbox3 - False - 0 - - - GtkScrolledWindow - scrolledwindow5 - GTK_POLICY_NEVER - GTK_POLICY_ALWAYS - GTK_UPDATE_CONTINUOUS - GTK_UPDATE_CONTINUOUS - - 0 - True - True - - - - GtkText - stateText - True - True - + + + 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 + + - - - - GtkButton - stateChangeButton - True - - GTK_RELIEF_NORMAL - - 0 - False - False - - - - - - - GtkFrame - frame2 - 4 - - 0 - GTK_SHADOW_ETCHED_IN - - 0 - 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 - + + 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 + + - - - - GtkButton - useHintButton - True - - GTK_RELIEF_NORMAL - - 0 - False - False - - + + True + True + + - - + + 0 + True + True + + - - GtkStatusbar - mainWindowStatusBar - 0 - False - False + + True + + + 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 - - + + Hbugs: subscribe ... + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_NONE + False + True + False + + + + True + False + 0 - - GtkScrolledWindow - scrolledwindow4 - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS - GTK_UPDATE_CONTINUOUS - GTK_UPDATE_CONTINUOUS - 0 - True - True + + True + True + Refresh + True + GTK_RELIEF_NORMAL + + + 0 + False + False + - - 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 - + + + True + GTK_POLICY_ALWAYS + GTK_POLICY_ALWAYS + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT - - GtkLabel - CList:title - label13 - - GTK_JUSTIFY_CENTER - False - 0.5 - 0.5 - 0 - 0 + + + True + True + True + False + False + True + + - - + + 0 + True + True + + - - GtkButton - subscribeButton - True - - GTK_RELIEF_NORMAL - 0 - False - False + + 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 + - - - GtkStatusbar - subscribeWindowStatusBar - 0 - False - False + + True + True + + + 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 - + + Message + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_NONE + True + 220 + 150 + True + False + True + + + + True + False + 0 + + + + True + GTK_BUTTONBOX_END - - GtkButton - okDialogButton - True - - GTK_RELIEF_NORMAL - - 0 - False - True - - - + + + True + True + OK + True + GTK_RELIEF_NORMAL + 0 + + + + + 0 + False + True + GTK_PACK_END + + - - GtkTable - table1 - 5 - 1 - 1 - False - 0 - 0 - 0 - True - True - + + 5 + True + 1 + 1 + False + 0 + 0 - - GtkLabel - dialogLabel - - GTK_JUSTIFY_CENTER - True - 0.5 - 0.5 - 0 - 0 - - 0 - 1 - 0 - 1 - 0 - 0 - True - True - False - False - True - True - - + + + True + + False + False + GTK_JUSTIFY_CENTER + True + False + 0.5 + 0.5 + 0 + 0 + + + 0 + 1 + 0 + 1 + + + + + 0 + True + True + + - + - +