all interface is locked during advance/retract

[helm.git] / helm / matita / matita.glade

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 4f77603adc88fbdc86d000114e30a39f88af6d39..1f035a0faff843113ee9a5badf7e44ae20eb6f85 100644 (file)
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -1773,7 +1773,7 @@ Copyright (C) 2005,
                          <property name="spacing">0</property>
 
                          <child>
-                           <widget class="GtkToolbar" id="toolbar13">
+                           <widget class="GtkToolbar" id="buttonsToolbar">
                              <property name="visible">True</property>
                              <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
                              <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>