X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Foutput-window.ui;h=f23dfd68b67ab9f2acb260851db7c6f197ec9315;hb=40c169c1409b0f16e6ee8f0ceaa0ce6937c90a5c;hp=1a1a02f9405e4b4067f781cfd8ad00a4f5155f63;hpb=f8fdc760d4ee04801a2da8af0700b2a87f724ae4;p=pspp diff --git a/src/ui/gui/output-window.ui b/src/ui/gui/output-window.ui index 1a1a02f940..f23dfd68b6 100644 --- a/src/ui/gui/output-window.ui +++ b/src/ui/gui/output-window.ui @@ -1,131 +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 - - + + True + True - - edit-copy - edit_copy - _Copy + + True + True + False + + + - - - - - - - - - - - - - - - - - - True - GTK_ORIENTATION_VERTICAL - GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - - - True - GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - - False - 0 + False + 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 - + True - True + False 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 - - + 5 - - 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 + +
+
+