X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-window.ui;h=a8aa42db42ec7b404c4063c850cbe68dd83c9fca;hb=8d2d55361082c9cb688c4ce8d565aa3b2ffaf849;hp=76822d17d88bada97c4aad289e4ab69ce3f83cc1;hpb=778ecd02e7e979d74f990e68ec39dbbcf2c74967;p=pspp

diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui
index 76822d17d8..a8aa42db42 100644
--- a/src/ui/gui/output-window.ui
+++ b/src/ui/gui/output-window.ui
@@ -15,7 +15,7 @@
             <property name="stock-id">file-print</property>
             <property name="label" translatable="yes">_Print...</property>
           </object>
-	  <accelerator key="P" modifiers="GDK_CONTROL_MASK"/>
+          <accelerator key="P" modifiers="GDK_CONTROL_MASK"/>
         </child>
         <child>
           <object class="GtkAction" id="file_export">
@@ -34,14 +34,14 @@
           <object class="GtkAction" id="edit_select-all">
             <property name="name">edit_select-all</property>
             <property name="stock-id">edit-select-all</property>
-	    <property name="label" translatable="yes">Select _All</property>
+            <property name="label" translatable="yes">Select _All</property>
           </object>
         </child>
         <child>
           <object class="GtkAction" id="edit_copy">
             <property name="stock-id">edit-copy</property>
             <property name="name">edit_copy</property>
-	    <property name="label" translatable="yes">_Copy</property>
+            <property name="label" translatable="yes">_Copy</property>
           </object>
         </child>
         <child>
@@ -52,7 +52,7 @@
         </child>
         <child>
           <object class="GtkAction" id="windows_minimise-all">
-	    <property name="stock-id">windows-minimize-all</property>
+            <property name="stock-id">windows-minimize-all</property>
             <property name="name">windows_minimise-all</property>
             <property name="label" translatable="yes">_Minimize All Windows</property>
           </object>
@@ -77,70 +77,71 @@
   </object>
   <!-- interface-requires gtk+ 2.16 -->
   <!-- interface-naming-policy toplevel-contextual -->
-      <object class="GtkBox" id="box1">
+  <object class="GtkBox" id="box1">
+    <property name="visible">True</property>
+    <property name="orientation">GTK_ORIENTATION_VERTICAL</property>
+    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+    <child>
+      <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
         <property name="visible">True</property>
-	<property name="orientation">GTK_ORIENTATION_VERTICAL</property>
         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+      </object>
+      <packing>
+        <property name="expand">False</property>
+        <property name="position">0</property>
+      </packing>
+    </child>
+    <child>
+      <object class="GtkPaned" id="paned1">
+        <property name="visible">True</property>
+        <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
+        <property name="can_focus">True</property>
+        <property name="position">112</property>
+        <property name="position_set">True</property>
         <child>
-          <object class="GtkMenuBar" constructor="uimanager1" id="menubar">
+          <object class="GtkScrolledWindow" id="scrolledwindow2">
             <property name="visible">True</property>
-            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+            <property name="can_focus">True</property>
+            <property name="hscrollbar_policy">automatic</property>
+            <property name="vscrollbar_policy">automatic</property>
+            <child>
+              <object class="GtkTreeView" id="overview">
+                <property name="visible">True</property>
+                <property name="can_focus">True</property>
+                <property name="headers_visible">False</property>
+              </object>
+            </child>
           </object>
           <packing>
-            <property name="expand">False</property>
-            <property name="position">0</property>
+            <property name="resize">False</property>
+            <property name="shrink">True</property>
           </packing>
         </child>
         <child>
-          <object class="GtkPaned" id="paned1">
+          <object class="GtkScrolledWindow" id="scrolledwindow1">
             <property name="visible">True</property>
-	    <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
             <property name="can_focus">True</property>
-            <property name="position">112</property>
-            <property name="position_set">True</property>
-            <child>
-              <object class="GtkScrolledWindow" id="scrolledwindow2">
-                <property name="visible">True</property>
-                <property name="can_focus">True</property>
-                <property name="hscrollbar_policy">automatic</property>
-                <property name="vscrollbar_policy">automatic</property>
-                <child>
-                  <object class="GtkTreeView" id="overview">
-                    <property name="visible">True</property>
-                    <property name="can_focus">True</property>
-                    <property name="headers_visible">False</property>
-                  </object>
-                </child>
-              </object>
-              <packing>
-                <property name="resize">False</property>
-                <property name="shrink">True</property>
-              </packing>
-            </child>
+            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+            <property name="hscrollbar_policy">automatic</property>
+            <property name="vscrollbar_policy">automatic</property>
             <child>
-              <object class="GtkScrolledWindow" id="scrolledwindow1">
+              <object class="GtkLayout" id="output">
                 <property name="visible">True</property>
-                <property name="can_focus">True</property>
+                <property name="border-width">5</property>
                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                <property name="hscrollbar_policy">automatic</property>
-                <property name="vscrollbar_policy">automatic</property>
-                <child>
-                  <object class="GtkLayout" id="output">
-                    <property name="visible">True</property>
-                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
-                  </object>
-                </child>
               </object>
-              <packing>
-                <property name="resize">True</property>
-                <property name="shrink">True</property>
-              </packing>
             </child>
           </object>
           <packing>
-            <property name="position">1</property>
-	    <property name="expand">True</property>
+            <property name="resize">True</property>
+            <property name="shrink">True</property>
           </packing>
         </child>
       </object>
+      <packing>
+        <property name="position">1</property>
+        <property name="expand">True</property>
+      </packing>
+    </child>
+  </object>
 </interface>