/[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 36309 by manus, Wed Mar 12 07:34:28 2003 UTC revision 37492 by manus, Fri May 30 21:08:32 2003 UTC
# Line 2046  feature -- Resource Update Line 2046  feature -- Resource Update
2046                          text_edited := False                          text_edited := False
2047                  end                  end
2048    
2049          save_and (an_action: PROCEDURE [ANY, TUPLE []]) is          save_and (an_action: PROCEDURE [ANY, TUPLE]) is
2050                  local                  local
2051                          save_dialog: EB_CONFIRM_SAVE_DIALOG                          save_dialog: EB_CONFIRM_SAVE_DIALOG
2052                  do                  do
# Line 2054  feature -- Resource Update Line 2054  feature -- Resource Update
2054                          text_saved := False                          text_saved := False
2055                          create save_dialog.make_and_launch (Current,Current)                          create save_dialog.make_and_launch (Current,Current)
2056                          if not save_canceled and then syntax_is_correct then                          if not save_canceled and then syntax_is_correct then
2057                                  an_action.call([])                                  an_action.call(Void)
2058                          end                          end
2059                  end                  end
2060    

Legend:
Removed from v.36309  
changed lines
  Added in v.37492

  ViewVC Help
Powered by ViewVC 1.1.23