/[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 53728 by neilc, Fri Jul 22 23:01:46 2005 UTC revision 53977 by alexk, Tue Aug 2 11:46:51 2005 UTC
# Line 772  feature -- Update Line 772  feature -- Update
772                          cluster_tool.synchronize                          cluster_tool.synchronize
773                          history_manager.synchronize                          history_manager.synchronize
774                          features_tool.synchronize                          features_tool.synchronize
775                                    -- Update main views
776                            managed_main_formatters.i_th (2).invalidate
777                            managed_main_formatters.i_th (3).invalidate
778                            managed_main_formatters.i_th (4).invalidate
779                            managed_main_formatters.i_th (5).invalidate
780                          if stone /= Void then                          if stone /= Void then
781                                  st := stone.synchronized_stone                                  st := stone.synchronized_stone
782                          end                          end

Legend:
Removed from v.53728  
changed lines
  Added in v.53977

  ViewVC Help
Powered by ViewVC 1.1.23