/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/windows/eb_development_window.e
ViewVC logotype

Diff of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/windows/eb_development_window.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 28693 by xavier, Thu Nov 1 19:50:46 2001 UTC revision 28747 by xavier, Sat Nov 3 02:00:29 2001 UTC
# Line 2636  feature {NONE} -- Implementation Line 2636  feature {NONE} -- Implementation
2636                          dialog_w: EB_WARNING_DIALOG                          dialog_w: EB_WARNING_DIALOG
2637                  do                  do
2638                          if editor_tool /= Void and then editor_tool.text_area /= Void and then changed and then not confirmed then                          if editor_tool /= Void and then editor_tool.text_area /= Void and then changed and then not confirmed then
2639                                  Exit_application_cmd.set_already_save_confirmed (True)                                  if Window_manager.development_windows_count > 1 then
2640                                  create dialog_w.make_with_text (Interface_names.l_Close_warning)                                          create dialog_w.make_with_text (Warning_messages.w_Save_before_closing)
2641                                  dialog_w.set_buttons_and_actions (<<"Yes", "No", "Cancel">>, <<~save_and_destroy, ~force_destroy, Exit_application_cmd~set_already_save_confirmed (False)>>)                                          dialog_w.set_buttons_and_actions (<<"Yes", "No", "Cancel">>, <<~save_and_destroy, ~force_destroy, ~do_nothing>>)
2642                                  dialog_w.set_default_push_button (dialog_w.button("Yes"))                                          dialog_w.set_default_push_button (dialog_w.button("Yes"))
2643                                  dialog_w.set_default_cancel_button (dialog_w.button("Cancel"))                                          dialog_w.set_default_cancel_button (dialog_w.button("Cancel"))
2644                                  dialog_w.show_modal_to_window (window)                                          dialog_w.show_modal_to_window (window)
2645                                    else
2646                                                    -- We let the window manager handle the saving, along with other windows
2647                                                    -- (not development windows)
2648                                            force_destroy
2649                                    end
2650                          else                          else
2651                                  Precursor {EB_TOOL_MANAGER}                                  Precursor {EB_TOOL_MANAGER}
                                 Exit_application_cmd.set_already_save_confirmed (False)  
2652                          end                          end
2653                  end                  end
2654    

Legend:
Removed from v.28693  
changed lines
  Added in v.28747

  ViewVC Help
Powered by ViewVC 1.1.23