/[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 54933 by jasonw, Thu Oct 6 00:52:52 2005 UTC revision 54985 by tedf, Fri Oct 7 01:22:05 2005 UTC
# Line 3184  feature {NONE} -- Implementation Line 3184  feature {NONE} -- Implementation
3184    
3185          on_cursor_moved is          on_cursor_moved is
3186                          -- The cursor has moved, reflect the change in the status bar.                          -- The cursor has moved, reflect the change in the status bar.
3187                            -- And reflect location editing in the text in features tool and address bar.
3188                  do                  do
3189                          refresh_cursor_position                          refresh_cursor_position
3190                            refresh_context_info
3191                  end                  end
3192    
3193          on_text_fully_loaded is          on_text_fully_loaded is
# Line 3381  feature {NONE} -- Implementation: Editor Line 3383  feature {NONE} -- Implementation: Editor
3383                          c := editor_tool.text_area.cursor_x_position                          c := editor_tool.text_area.cursor_x_position
3384                          status_bar.set_cursor_position (l, c)                          status_bar.set_cursor_position (l, c)
3385                  end                  end
3386                    
3387            refresh_context_info is
3388                            -- Refresh address bar and features tool to relect
3389                            -- where in the code the cursor is located.
3390                    local
3391                            l_feature: FEATURE_AS
3392                            l_classc_stone: CLASSC_STONE
3393                    do
3394                            l_classc_stone ?= stone
3395                            if l_classc_stone /= Void then
3396                                    l_feature := editor_tool.text_area.text_displayed.current_feature_containing
3397                                    if l_feature /= Void then
3398                                            set_editing_location_by_feature (l_feature)
3399                                    else
3400                                            set_editing_location_by_feature (Void)
3401                                    end
3402                            end
3403                    end
3404            
3405            set_editing_location_by_feature (a_feature: FEATURE_AS) is
3406                            -- Set editing location, feature tool and combo box changes according to `a_feature'.
3407                    local
3408                            l_efeature: E_FEATURE
3409                            l_class_i: CLASS_I
3410                            l_classc: CLASS_C
3411                    do
3412                            if a_feature /= Void then
3413                                    address_manager.set_feature_text_simply (a_feature.feature_names.first.internal_name)
3414                                    l_class_i := eiffel_universe.class_named (class_name, cluster)
3415                                    if l_class_i.is_compiled then
3416                                            l_classc := l_class_i.compiled_class
3417                                            l_efeature := l_classc.feature_with_name (a_feature.feature_names.first.internal_name)
3418                                    end
3419                            else
3420                                    address_manager.set_feature_text_simply (once "")
3421                            end
3422                            seek_item_in_feature_tool (l_efeature)
3423                    end
3424                    
3425            seek_item_in_feature_tool (a_feature: E_FEATURE) is
3426                            -- Seek and select item contains data of `a_feature' in features tool.
3427                            -- If `a_feature' is void, deselect item in features tool.
3428                    local
3429                            l_node: EV_TREE_NODE
3430                            l_selected_node: EV_TREE_NODE
3431                    do
3432                            l_selected_node := features_tool.tree.selected_item
3433                            if a_feature /= Void then
3434                                    l_node := features_tool.tree.retrieve_item_recursively_by_data (a_feature, true)
3435                                    if l_node /= Void then
3436                                            l_node.enable_select
3437                                    else
3438                                            if l_selected_node /= Void then
3439                                                    l_selected_node.disable_select
3440                                            end
3441                                    end
3442                            else
3443                                    if l_selected_node /= Void then
3444                                            l_selected_node.disable_select
3445                                    end
3446                            end
3447                    end
3448    
3449          select_all is          select_all is
3450                          -- Select the whole text in the focused editor.                          -- Select the whole text in the focused editor.

Legend:
Removed from v.54933  
changed lines
  Added in v.54985

  ViewVC Help
Powered by ViewVC 1.1.23