X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-window.ui;h=f23dfd68b67ab9f2acb260851db7c6f197ec9315;hb=17339b8ef2b6c9c403ceccb9f0ab534a943f92e1;hp=f89deb10c447951abc076c9b4182bcbcaba6258c;hpb=58c32883c1675879e1d59f703033af702e214040;p=pspp diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui index f89deb10c4..f23dfd68b6 100644 --- a/src/ui/gui/output-window.ui +++ b/src/ui/gui/output-window.ui @@ -1,153 +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 + - - - - - - - - - - - - - - - - - - - - GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - 600 - 400 - + 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 - 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 + +
+
+