X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=0eaaaa7800e8a8e2bcb5aba2bfcf4258b05813b9;hb=ed5c4e15429c37bef0f59dfd7160f6883586ed0f;hp=31ca67c3369abb38fffc0840671a7ecfbb88091d;hpb=8405aa804344fd6c4e54b0d019e56dce14bfdf1e;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 31ca67c33..0eaaaa780 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -770,6 +770,7 @@
+
@@ -1161,7 +1163,7 @@
@@ -2587,448 +2589,6 @@
-
- Create development
- False
- True
- GTK_WIN_POS_CENTER_ALWAYS
- GDK_WINDOW_TYPE_HINT_UTILITY
-
-
- True
-
-
- True
- 3
- 2
- 3
- 5
- 5
-
-
-
-
-
- True
- True
- ...
- True
- 0
-
-
- 2
- 3
- 1
- 2
- GTK_FILL
-
-
-
-
-
- True
- True
- *
-
-
- 1
- 2
- 1
- 2
-
-
-
-
-
- True
- True
- *
-
-
- 1
- 2
-
-
-
-
-
- True
- 0
- Root directory
-
-
- 1
- 2
- GTK_FILL
-
-
-
-
-
- True
- 0
- Name
-
-
- GTK_FILL
-
-
-
-
-
- False
-
-
-
-
- True
-
-
- False
- 2
- 1
-
-
-
-
- True
- 3
- 5
-
-
- True
-
-
-
-
-
-
-
-
-
-
- True
- True
- gtk-add
- True
- 0
-
-
- False
- False
- 1
-
-
-
-
- True
- True
- gtk-cancel
- True
- 0
-
-
- False
- False
- 2
-
-
-
-
- False
- 2
-
-
-
-
-
-
- Developments
- GTK_WIN_POS_CENTER
-
-
- True
-
-
- True
- True
- GTK_POLICY_AUTOMATIC
- GTK_POLICY_AUTOMATIC
- GTK_SHADOW_IN
-
-
- True
- True
- False
-
-
-
-
-
-
- True
-
-
- False
- 2
- 1
-
-
-
-
- True
- 3
- 4
-
-
- True
-
-
-
-
-
-
-
-
-
-
- True
- True
- gtk-new
- True
- 0
-
-
- False
- False
- 1
-
-
-
-
- True
- True
- gtk-delete
- True
- 0
-
-
- False
- False
- 2
-
-
-
-
- True
- True
- 0
-
-
- True
- 0
- 0
-
-
- True
- 2
-
-
- True
- gtk-execute
-
-
- False
- False
-
-
-
-
- True
- _Build
- True
-
-
- False
- False
- 1
-
-
-
-
-
-
-
-
- False
- False
- 3
-
-
-
-
- True
- True
- 0
-
-
- True
- 0
- 0
-
-
- True
- 2
-
-
- True
- gtk-clear
-
-
- False
- False
-
-
-
-
- True
- C_lean
- True
-
-
- False
- False
- 1
-
-
-
-
-
-
-
-
- False
- False
- 4
-
-
-
-
- True
- True
- 0
-
-
- True
- 0
- 0
-
-
- True
- 2
-
-
- True
- gtk-convert
-
-
- False
- False
-
-
-
-
- True
- Publish
- True
-
-
- False
- False
- 1
-
-
-
-
-
-
-
-
- False
- False
- 5
-
-
-
-
- True
- True
- 0
-
-
- True
- 0
- 0
-
-
- True
- 2
-
-
- True
- gtk-zoom-fit
-
-
- False
- False
-
-
-
-
- True
- Graph
- True
-
-
- False
- False
- 1
-
-
-
-
-
-
-
-
- False
- False
- 6
-
-
-
-
- True
- True
- gtk-close
- True
- 0
-
-
- False
- False
- 7
-
-
-
-
- False
- 2
-
-
-
-
-
450
400