/[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 28747 by xavier, Sat Nov 3 02:00:29 2001 UTC revision 29149 by xavier, Thu Nov 15 06:52:24 2001 UTC
# Line 2712  feature {NONE} -- Implementation: Editor Line 2712  feature {NONE} -- Implementation: Editor
2712                                          cv_ced.find_next                                          cv_ced.find_next
2713                                  end                                  end
2714                          else                          else
2715                                  search_tool.set_focus                                  search_tool.show_and_set_focus
2716                          end                          end
2717                  end                  end
2718    
# Line 2727  feature {NONE} -- Implementation: Editor Line 2727  feature {NONE} -- Implementation: Editor
2727                                          cv_ced.find_previous                                          cv_ced.find_previous
2728                                  end                                  end
2729                          else                          else
2730                                  search_tool.set_focus                                  search_tool.show_and_set_focus
2731                          end                          end
2732                  end                  end
2733    

Legend:
Removed from v.28747  
changed lines
  Added in v.29149

  ViewVC Help
Powered by ViewVC 1.1.23