X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=0eaaaa7800e8a8e2bcb5aba2bfcf4258b05813b9;hb=419b8fd3c58efbcc5de030ee6b164dc93c5d83db;hp=e50642a61c18deec5c726b1440cdf278b96ee4fc;hpb=224c4530d80c2ea1f0e0dedf09cc132c6fab9a9d;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index e50642a61..0eaaaa780 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -770,6 +770,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