renamed development related windows

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index b246c91aab1c91c8b34a3b701d9591873c32dad0..1076b9192f57993f4d96c180457783607b6a84da 100644 (file)
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -3184,7 +3184,7 @@
   </child>
 </widget>
 
-<widget class="GtkWindow" id="newDevelopmentWin">
+<widget class="GtkWindow" id="NewDevelWin">
   <property name="title" translatable="yes">Create development</property>
   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   <property name="window_position">GTK_WIN_POS_CENTER_ALWAYS</property>
@@ -3410,7 +3410,7 @@
   </child>
 </widget>
 
-<widget class="GtkWindow" id="develListWin">
+<widget class="GtkWindow" id="DevelListWin">
   <property name="title" translatable="yes">Developments</property>
   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   <property name="window_position">GTK_WIN_POS_CENTER</property>

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 6cc4731ad6e7503df7cfaa5521f8019d4729672f..a41215bd476c30526eb2b29f3bdc02ec8a130a19 100644 (file)
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -110,7 +110,7 @@ class gui () =
   let fileSel = new fileSelectionWin () in
   let findRepl = new findReplWin () in
   let develList = new develListWin () in
-  let newDevel = new newDevelopmentWin () in
+  let newDevel = new newDevelWin () in
   let keyBindingBoxes = (* event boxes which should receive global key events *)
     [ main#mainWinEventBox ]
   in

diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli
index a2b15513ed77b5794851c7b55366b456e5393141..0943862ce6e3491581d95416a677db696b1bcd3c 100644 (file)
--- a/helm/matita/matitaGui.mli
+++ b/helm/matita/matitaGui.mli
@@ -52,7 +52,7 @@ object
   method main :         MatitaGeneratedGui.mainWin
   method findRepl :     MatitaGeneratedGui.findReplWin
   method develList:     MatitaGeneratedGui.develListWin
-  method newDevel:      MatitaGeneratedGui.newDevelopmentWin
+  method newDevel:      MatitaGeneratedGui.newDevelWin
 (*   method toolbar :      MatitaGeneratedGui.toolBarWin *)
 
   method console:       console