/[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 52511 by paulb, Wed Jun 22 23:57:52 2005 UTC revision 52526 by manus, Thu Jun 23 06:25:36 2005 UTC
# Line 1862  feature -- Stone process Line 1862  feature -- Stone process
1862          --                      context_tool.refresh          --                      context_tool.refresh
1863                  end                  end
1864    
1865          quick_refresh is          quick_refresh_editors is
1866                          -- Redraw the main editor's drawing area.                          -- Redraw editors' drawing area.
1867                  do                  do
1868                          editor_tool.text_area.refresh                          editor_tool.text_area.refresh
1869                          context_tool.quick_refresh                          context_tool.quick_refresh_editors
1870                    end
1871    
1872            quick_refresh_margins is
1873                            -- Redraw the main editor's drawing area.
1874                    do
1875                            editor_tool.text_area.margin.refresh
1876                            context_tool.quick_refresh_margins
1877                  end                  end
1878    
1879          set_default_format is          set_default_format is
# Line 2435  feature {NONE} -- Implementation Line 2442  feature {NONE} -- Implementation
2442                                          Application.set_breakpoint (conv_brkstone.routine, conv_brkstone.index)                                          Application.set_breakpoint (conv_brkstone.routine, conv_brkstone.index)
2443                                  end                                  end
2444                                  output_manager.display_stop_points                                  output_manager.display_stop_points
2445                                  window_manager.quick_refresh_all                                  window_manager.quick_refresh_all_margins
2446                          elseif conv_errst /= Void then                          elseif conv_errst /= Void then
2447                                  display_error_help_cmd.execute_with_stone (conv_errst)                                  display_error_help_cmd.execute_with_stone (conv_errst)
2448                          elseif conv_ace /= Void then                          elseif conv_ace /= Void then
# Line 3000  feature {NONE} -- Implementation Line 3007  feature {NONE} -- Implementation
3007                          Result := conv_ace = Void                          Result := conv_ace = Void
3008                  end                  end
3009    
         quick_refresh_on_class_drop (unused: CLASSI_STONE) is  
                         -- Quick refresh all windows.  
                 do  
                         window_manager.quick_refresh_all  
                 end  
   
         quick_refresh_on_brk_drop (unused: BREAKABLE_STONE) is  
                         -- Quick refresh all windows.  
                 do  
                         window_manager.quick_refresh_all  
                 end  
   
3010          send_stone_to_context is          send_stone_to_context is
3011                          -- Send current stone to the context tool.                          -- Send current stone to the context tool.
3012                          -- Used by `send_stone_to_context_cmd'.                          -- Used by `send_stone_to_context_cmd'.

Legend:
Removed from v.52511  
changed lines
  Added in v.52526

  ViewVC Help
Powered by ViewVC 1.1.23