/[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 59907 by paulb, Fri Jun 16 23:53:06 2006 UTC revision 59959 by tedf, Mon Jun 19 20:59:00 2006 UTC
# Line 2494  feature -- Resource Update Line 2494  feature -- Resource Update
2494                                  set_title (str)                                  set_title (str)
2495                          end                          end
2496                          update_formatters                          update_formatters
2497                            lock_update
2498                          features_tool.synchronize                          features_tool.synchronize
2499                          on_cursor_moved                          refresh_cursor_position
2500                            refresh_context_info
2501                            unlock_update
2502                          if editor_tool.text_area.syntax_is_correct then                          if editor_tool.text_area.syntax_is_correct then
2503                                  status_bar.display_message ("")                                  status_bar.display_message ("")
2504                          else                          else

Legend:
Removed from v.59907  
changed lines
  Added in v.59959

  ViewVC Help
Powered by ViewVC 1.1.23