/[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 56804 by patrickr, Mon Jan 30 19:29:46 2006 UTC revision 56832 by tedf, Thu Feb 2 17:53:48 2006 UTC
# Line 2092  feature -- Stone process Line 2092  feature -- Stone process
2092                                          address_manager.refresh                                          address_manager.refresh
2093                                  end                                  end
2094                          end                          end
2095                            if not editor_tool.text_area.has_focus then
2096                                    ev_application.idle_actions.extend_kamikaze (agent editor_tool.set_focus)
2097                            end
2098                  end                  end
2099    
2100          force_stone (s: STONE) is          force_stone (s: STONE) is

Legend:
Removed from v.56804  
changed lines
  Added in v.56832

  ViewVC Help
Powered by ViewVC 1.1.23