X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-window.ui;h=0f04244fc75c0802287caca73bd67224311a7582;hb=f6c6ee97c412e47eb1c7c30adc224e93b6c1586a;hp=3c9686d566ed657466c76b1aa4c917b42dc3a5b5;hpb=1c492427c0c4e03065f4a327549a6d31b9e693a8;p=pspp diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui index 3c9686d566..0f04244fc7 100644 --- a/src/ui/gui/output-window.ui +++ b/src/ui/gui/output-window.ui @@ -1,147 +1,102 @@ - + + + + + + + + + + + + + + + + + + - + + + True + True + 112 + True - - - - menuitem1 - _File - - - - - file_print - file-print - _Print... - - - - - - file_export - file-export-data - _Export... - - - - - menuitem2 - _Edit - - - - - edit_select-all - edit-select-all - Select _All - - - - - edit-copy - edit_copy - _Copy - - - - - windows_menuitem - _Windows - - + + True + True - - windows-minimize-all - windows_minimise-all - _Minimize All Windows + + True + True + False + + + + + False + True + - - - - - - - - - - - - - - - - - - - + + True - GTK_ORIENTATION_VERTICAL + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - + True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + 5 - - False - 0 - - - - - True - GTK_ORIENTATION_HORIZONTAL - True - 112 - True - - - True - True - automatic - automatic - - - True - True - False - - - - - False - True - - - - - True - True - 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 + + + + + + _File +
+ + _Print... + win.print + <Primary>p + + + _Export... + win.export + +
+
+ + _Quit + <Primary>q + app.quit + +
+
+ + _Edit +
+ + Select _All + win.select-all + + + _Copy + win.copy + +
+
+