/[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 33454 by manus, Tue Aug 6 22:47:41 2002 UTC revision 33509 by neilc, Thu Aug 8 00:10:11 2002 UTC
# Line 2053  feature -- Resource Update Line 2053  feature -- Resource Update
2053                                  an_action.call([])                                  an_action.call([])
2054                          end                          end
2055                  end                  end
                   
         attach_argument_dialog  (a_dialog: EB_ARGUMENT_DIALOG) is  
                         -- Attach newly created argument dialog to Current  
                 require  
                         not_void_dialog: a_dialog /= Void  
                 do  
                         if arguments_dialog = Void then  
                                 arguments_dialog := a_dialog  
                         end              
                 end  
                   
         detach_argument_dialog is  
                         -- Destroy the Current srguments dialog  
                 require  
                         has_arguments_dialog: arguments_dialog /= Void  
                 do  
                         arguments_dialog := Void  
                 ensure  
                         has_not_arguments_dialog: arguments_dialog = Void  
                 end              
2056    
2057  feature -- Window management  feature -- Window management
2058    

Legend:
Removed from v.33454  
changed lines
  Added in v.33509

  ViewVC Help
Powered by ViewVC 1.1.23