/[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 54857 by larryl, Tue Oct 4 17:38:01 2005 UTC revision 54871 by tedf, Tue Oct 4 22:22:15 2005 UTC
# Line 2309  feature -- Multiple editor management Line 2309  feature -- Multiple editor management
2309                                  old_index /= new_index                                  old_index /= new_index
2310                          then                          then
2311                                  current_editor_index := new_index                                  current_editor_index := new_index
                                 from  
                                         editors.start  
                                 until  
                                         editors.after  
                                 loop  
                                         if editors.index /= current_editor_index and then editors.item.has_selection then  
                                                 editors.item.disable_selection  
                                         end  
                                         editors.forth  
                                 end  
2312                                  update_paste_cmd                                  update_paste_cmd
2313                                          -- Last thing, update the menu entry for the formatting marks.                                          -- Last thing, update the menu entry for the formatting marks.
2314                                  if current_editor.view_invisible_symbols then                                  if current_editor.view_invisible_symbols then

Legend:
Removed from v.54857  
changed lines
  Added in v.54871

  ViewVC Help
Powered by ViewVC 1.1.23