menu_syntax_file _File file-new-data new2 file_new_syntax _Syntax file_new_data _Data file-open-data file_open _Open... file-save-data file_save file-save-as file_save_as Save _As... file_print file-print file-quit file_quit menuitem7 _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 edit-redo edit_redo 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 True