X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.glade;fp=matita%2Fmatita.glade;h=0eaaaa7800e8a8e2bcb5aba2bfcf4258b05813b9;hb=bd258ecf3eae6aef4ff6b1d1dd8e1c8c2bb17677;hp=462d0c64c9db3961498babc5c6d6fd1245f145b1;hpb=b066ec682141c7c41d77e80d70c71aeadd1f1ab3;p=helm.git
diff --git a/matita/matita.glade b/matita/matita.glade
index 462d0c64c..0eaaaa780 100644
--- a/matita/matita.glade
+++ b/matita/matita.glade
@@ -2589,450 +2589,6 @@
-
- Create root file
- True
- 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
- Base URI
-
-
- 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
-
-
-
-
-
-
450
400