First steps towards a multi-document interface.

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

diff --git a/matita/matita/matita.glade b/matita/matita/matita.glade
index f7be5eab3e6a4f19eb2c4b32d6648125660a497d..6d4b5967209bb58831d39c8f8e8b5895f6e36a26 100644 (file)
--- a/matita/matita/matita.glade
+++ b/matita/matita/matita.glade
@@ -1679,7 +1679,7 @@
                               <widget class="GtkNotebook" id="scriptNotebook">
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
-                                <property name="tab_pos">bottom</property>
+                                <property name="scrollable">True</property>
                                 <child>
                                   <widget class="GtkScrolledWindow" id="ScriptScrolledWin">
                                     <property name="visible">True</property>
@@ -1702,35 +1702,11 @@
                                   </packing>
                                 </child>
                                 <child>
-                                  <widget class="GtkScrolledWindow" id="scrolledwindow8">
-                                    <property name="visible">True</property>
-                                    <property name="can_focus">True</property>
-                                    <property name="hscrollbar_policy">automatic</property>
-                                    <property name="vscrollbar_policy">automatic</property>
-                                    <child>
-                                      <widget class="GtkViewport" id="viewport1">
-                                        <property name="visible">True</property>
-                                        <child>
-                                          <widget class="GtkLabel" id="label25">
-                                            <property name="visible">True</property>
-                                            <property name="label" translatable="yes">Not implemented.</property>
-                                          </widget>
-                                        </child>
-                                      </widget>
-                                    </child>
-                                  </widget>
-                                  <packing>
-                                    <property name="position">1</property>
-                                  </packing>
+                                  <placeholder/>
                                 </child>
                                 <child>
-                                  <widget class="GtkLabel" id="label13">
-                                    <property name="visible">True</property>
-                                    <property name="label" translatable="yes">outline</property>
-                                  </widget>
+                                  <placeholder/>
                                   <packing>
-                                    <property name="position">1</property>
-                                    <property name="tab_fill">False</property>
                                     <property name="type">tab</property>
                                   </packing>
                                 </child>
@@ -1761,6 +1737,7 @@
                           <widget class="GtkNotebook" id="sequentsNotebook">
                             <property name="visible">True</property>
                             <property name="can_focus">True</property>
+                            <property name="scrollable">True</property>
                           </widget>
                           <packing>
                             <property name="resize">False</property>