X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=1076b9192f57993f4d96c180457783607b6a84da;hb=52af0e3a6ab827464f33b90bf0d39e5df3169499;hp=b246c91aab1c91c8b34a3b701d9591873c32dad0;hpb=348bff7f31e97c7ee5e6f21864731808d1a6f6a0;p=helm.git

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index b246c91aa..1076b9192 100644
--- 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>