/[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 57090 by jasonw, Mon Feb 20 18:44:35 2006 UTC revision 57251 by jfiat, Mon Mar 6 14:47:53 2006 UTC
# Line 3807  feature {NONE} -- Implementation: Editor Line 3807  feature {NONE} -- Implementation: Editor
3807          seek_item_in_feature_tool (a_feature: E_FEATURE) is          seek_item_in_feature_tool (a_feature: E_FEATURE) is
3808                          -- Seek and select item contains data of `a_feature' in features tool.                          -- Seek and select item contains data of `a_feature' in features tool.
3809                          -- If `a_feature' is void, deselect item in features tool.                          -- If `a_feature' is void, deselect item in features tool.
                 local  
                         l_node: EV_TREE_NODE  
                         l_selected_node: EV_TREE_NODE  
3810                  do                  do
3811                          l_selected_node := features_tool.tree.selected_item                          features_tool.seek_item_in_feature_tool (a_feature)
                         if a_feature /= Void then  
                                 l_node := features_tool.tree.retrieve_item_recursively_by_data (a_feature, true)  
                                 if l_node /= Void then  
                                         l_node.enable_select  
                                         if features_tool.tree.is_displayed then  
                                                 features_tool.tree.ensure_item_visible (l_node)  
                                         end  
                                 else  
                                         if l_selected_node /= Void then  
                                                 l_selected_node.disable_select  
                                         end  
                                 end  
                         else  
                                 if l_selected_node /= Void then  
                                         l_selected_node.disable_select  
                                 end  
                         end  
3812                  end                  end
3813    
3814          select_all is          select_all is

Legend:
Removed from v.57090  
changed lines
  Added in v.57251

  ViewVC Help
Powered by ViewVC 1.1.23