menu_syntax_file _File file-new-data new2 _New... file-syntax-data file_new_syntax _Syntax file-system-data file_new_data _Data file-open-data file_open _Open... file-save-data file_save _Save... file-save-as file_save_as Save _As... file_print file-print _Print... file-quit file_quit edit-menu _Edit edit-cut edit_cut false edit-copy edit_copy false edit-paste edit_paste false edit-delete edit_delete false edit-undo edit_undo false edit-redo edit_redo false run1 _Run run-all run_all All run-selection run_selection Selection run-current-line run_current_line Current Line run-to-end run-to-end To End windows _Windows windows-minimize-all 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