X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fhbugs%2Fclient%2Fhbugs_gui.glade;h=46b78c2e1d65ff4fa7247c2cc9dc2bbe15dce758;hb=d07851ade676917a00ad479fb427dff0dfd06ff3;hp=ff2d99cb2c7fd9be6f2b6862666ff922f970217c;hpb=2db12b2fb1b0846ae2140273aec5ed8df27c9201;p=helm.git
diff --git a/helm/hbugs/client/hbugs_gui.glade b/helm/hbugs/client/hbugs_gui.glade
index ff2d99cb2..46b78c2e1 100644
--- a/helm/hbugs/client/hbugs_gui.glade
+++ b/helm/hbugs/client/hbugs_gui.glade
@@ -15,6 +15,7 @@
GtkWindow
hbugsMainWindow
+ False
Hbugs: your personal proof trainer!
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
@@ -32,6 +33,7 @@
GtkMenuBar
menubar
+ False
GTK_SHADOW_OUT
0
@@ -215,6 +217,7 @@
GtkLabel
label2
+ False
GTK_JUSTIFY_CENTER
False
@@ -232,6 +235,7 @@
GtkLabel
clientIdLabel
+ False
GTK_JUSTIFY_LEFT
False
@@ -250,20 +254,7 @@
GtkButton
registerClientButton
True
-
- GTK_RELIEF_NORMAL
-
- 0
- False
- False
-
-
-
-
- GtkButton
- unregisterClientButton
- True
-
+
GTK_RELIEF_NORMAL
0
@@ -275,10 +266,11 @@
- GtkVBox
- vbox5
- True
- 0
+ GtkVPaned
+ vpaned1
+ 10
+ 6
+ 0
0
True
@@ -293,16 +285,15 @@
0
GTK_SHADOW_ETCHED_IN
- 0
- True
- True
+ False
+ False
- GtkVBox
- vbox7
+ GtkHBox
+ hbox6
False
- 0
+ 2
GtkScrolledWindow
@@ -343,73 +334,26 @@
- GtkButton
- showSubscriptionWindowButton
- True
-
- GTK_RELIEF_NORMAL
+ GtkFixed
+ fixed1
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
+ GtkButton
+ showSubscriptionWindowButton
+ 0
+ 0
+ 0
+ 0
True
- True
-
+
+ GTK_RELIEF_NORMAL
-
-
- GtkButton
- stateChangeButton
- True
-
- GTK_RELIEF_NORMAL
-
- 0
- False
- False
-
-
@@ -417,13 +361,13 @@
GtkFrame
frame2
4
+ 250
0
GTK_SHADOW_ETCHED_IN
- 0
- True
- True
+ True
+ True
@@ -470,19 +414,6 @@
-
-
- GtkButton
- useHintButton
- True
-
- GTK_RELIEF_NORMAL
-
- 0
- False
- False
-
-
@@ -490,6 +421,7 @@
GtkStatusbar
mainWindowStatusBar
+ False
0
False
@@ -584,16 +516,41 @@
- GtkButton
- subscribeButton
- True
-
- GTK_RELIEF_NORMAL
+ 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
+
+