X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-window.ui;h=a8aa42db42ec7b404c4063c850cbe68dd83c9fca;hb=03a7b96a587a58bda342b4eb5ce5f935880ba2b7;hp=3c9686d566ed657466c76b1aa4c917b42dc3a5b5;hpb=c259b336de0870cfdb221761238c519efe094177;p=pspp
diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui
index 3c9686d566..a8aa42db42 100644
--- a/src/ui/gui/output-window.ui
+++ b/src/ui/gui/output-window.ui
@@ -15,7 +15,7 @@
file-print
_Print...
-
+
edit-copy
edit_copy
- _Copy
+ _Copy
@@ -52,7 +52,7 @@
- windows-minimize-all
+ windows-minimize-all
windows_minimise-all
_Minimize All Windows
@@ -77,71 +77,71 @@
-
+
+ True
+ GTK_ORIENTATION_VERTICAL
+ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
+
+
+
+ False
+ 0
+
+
+
+
+ True
+ GTK_ORIENTATION_HORIZONTAL
+ True
+ 112
+ True
-
-
+
True
- GTK_ORIENTATION_HORIZONTAL
True
- 112
- True
-
-
- True
- True
- automatic
- automatic
-
-
- True
- True
- False
-
-
-
-
- False
- True
-
-
+ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
+ automatic
+ automatic
-
+
True
- True
+ 5
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
- automatic
- automatic
-
-
- True
- 5
- GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
-
-
-
- True
- True
-
- 1
- True
+ True
+ True
+
+ 1
+ True
+
+
+