X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.ui;h=49780048d1690f45cb438f709ca7763b93ee5901;hb=e5a05f16e98783e2785107059de22a44f51c18ea;hp=4f134c2e1cb51b966674a5c0dc764941b7a5b93e;hpb=ca5f6bb9df6d4019d777b52da0419d917d4dfc52;p=pspp diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui index 4f134c2e1c..49780048d1 100644 --- a/src/ui/gui/syntax-editor.ui +++ b/src/ui/gui/syntax-editor.ui @@ -1,238 +1,174 @@ - + + + + + + + + + + + + + + + + + - - - - - - menu_syntax_file - _File - - - - - gtk-new - new2 - - - - - file_new_syntax - _Syntax - - - - - file_new_data - _Data - - - - - gtk-open - open2 - - - - - file_open_syntax - _Syntax - - - - - file_open_data - _Data - - - - - gtk-save - file_save - - - - - gtk-save-as - file_save_as - - - - - file_print - gtk-print - - - - - gtk-quit - file_quit - - - - - menuitem7 - _Edit - - - - - gtk-cut - edit_cut - false - - - - - gtk-copy - edit_copy - false - - - - - gtk-paste - edit_paste - false - - - - - gtk-delete - edit_delete - false - - - - - gtk-undo - edit_undo - - - - - gtk-redo - edit_redo - - - - - run1 - _Run - - - - - run_all - All - - - - - run_selection - Selection - - - - - run_current_line - Current Line - - - - - - run_to_end - To End - - - - - windows - _Windows - - - - - windows_minimise_all - _Minimize All Windows - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - True - GTK_PACK_DIRECTION_LTR - GTK_PACK_DIRECTION_LTR - - - True - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT - - - True - True - True - False - True - GTK_JUSTIFY_LEFT - GTK_WRAP_NONE - True - 0 - 0 - 0 - 0 - 0 - 0 - - - - - True - True - + + + _File +
+ + _New + + Syntax + app.new-syntax + + + Data + app.new-data + + + + _Open + win.open + <Primary>o + + + _Save + win.save + <Primary>s + + + Save _As + win.save_as + <Primary><Shift>s + +
+
+ + _Print + win.print + +
+
+ + _Quit + <Primary>q + app.quit + +
+
+ + _Edit +
+ + Cu_t + win.cut + <Primary>x + + + _Copy + win.copy + <Primary>c + + + _Paste + win.paste + <Primary>v + + + _Delete + win.delete + +
+
+ + _Undo + win.undo + + + _Redo + win.redo + +
+
+ + _Find + win.find + +
+
+ + _Run +
+ + _All + win.run-all + + + _Selection + win.run-selection + + + _Current Line + win.run-current-line + <Primary>r + + + _To End + win.run-to-end + +
+
+ + A_uto Syntax + auto + win.syntax + + + _Interactive Syntax + interactive + win.syntax + + + _Batch Syntax + batch + win.syntax + +
+
+
+ + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + True + True + True + False + True + GTK_JUSTIFY_LEFT + GTK_WRAP_NONE + True + 0 + 0 + 0 + 0 + 0 + 0 + + + + + True +