menu_syntax_file _File file-new-document new2 file_new_syntax _Syntax file_new_data _Data gtk-open file_open _Open... file-save-document file_save gtk-save-as file_save_as Save _As... file_print file-print-document file-quit file_quit menuitem7 _Edit edit-cut edit_cut false edit-copy edit_copy false edit-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