X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fsyntax-editor.ui;h=d4f348f3abe42ea2dfd1729ce0532ff98e7675d1;hb=03a7b96a587a58bda342b4eb5ce5f935880ba2b7;hp=4f134c2e1cb51b966674a5c0dc764941b7a5b93e;hpb=ca5f6bb9df6d4019d777b52da0419d917d4dfc52;p=pspp diff --git a/src/ui/gui/syntax-editor.ui b/src/ui/gui/syntax-editor.ui index 4f134c2e1c..d4f348f3ab 100644 --- a/src/ui/gui/syntax-editor.ui +++ b/src/ui/gui/syntax-editor.ui @@ -12,61 +12,56 @@ - gtk-new + file-new-data new2 + _New... + file-syntax-data file_new_syntax _Syntax + file-system-data file_new_data _Data - - gtk-open - open2 - - - - - file_open_syntax - _Syntax - - - - - file_open_data - _Data + + file-open-data + file_open + _Open... - gtk-save + file-save-data file_save + _Save... - gtk-save-as + file-save-as file_save_as + Save _As... file_print - gtk-print + file-print + _Print... - gtk-quit + file-quit file_quit @@ -78,42 +73,44 @@ - gtk-cut + edit-cut edit_cut false - gtk-copy + edit-copy edit_copy false - gtk-paste + edit-paste edit_paste false - gtk-delete + edit-delete edit_delete false - gtk-undo + edit-undo edit_undo + false - gtk-redo + edit-redo edit_redo + false @@ -124,18 +121,21 @@ + run-all run_all All + run-selection run_selection Selection + run-current-line run_current_line Current Line @@ -143,7 +143,8 @@ - run_to_end + run-to-end + run-to-end To End @@ -155,6 +156,7 @@ + windows-minimize-all windows_minimise_all _Minimize All Windows @@ -168,10 +170,7 @@ - - - - + @@ -233,6 +232,5 @@ True - True