/[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 56214 by tedf, Fri Dec 16 18:52:19 2005 UTC revision 56237 by tedf, Tue Dec 20 17:12:15 2005 UTC
# Line 2627  feature {EB_FEATURES_TOOL, EB_FEATURES_T Line 2627  feature {EB_FEATURES_TOOL, EB_FEATURES_T
2627                          feature_clauses.put (a_features, a_type)                          feature_clauses.put (a_features, a_type)
2628                  end                  end
2629    
2630            set_feature_locating (a_locating: BOOLEAN) is
2631                            -- Set `feature_locating' with `a_locating'.
2632                    do
2633                            feature_locating := a_locating
2634                    end
2635    
2636          get_feature_clauses (a_type: STRING): ARRAYED_LIST [DOTNET_FEATURE_CLAUSE_AS [CONSUMED_ENTITY]] is          get_feature_clauses (a_type: STRING): ARRAYED_LIST [DOTNET_FEATURE_CLAUSE_AS [CONSUMED_ENTITY]] is
2637                          -- Get list of feature clauses relevant to .NET type with name 'a_type'.                          -- Get list of feature clauses relevant to .NET type with name 'a_type'.
2638                  require                  require
# Line 2644  feature {EB_FEATURES_TOOL, EB_FEATURES_T Line 2650  feature {EB_FEATURES_TOOL, EB_FEATURES_T
2650          feature_positions: HASH_TABLE [INTEGER, E_FEATURE]          feature_positions: HASH_TABLE [INTEGER, E_FEATURE]
2651                          -- Features indexed by line position in class text (for .NET features).                          -- Features indexed by line position in class text (for .NET features).
2652    
2653            feature_locating: BOOLEAN
2654                            -- Is feature tool locating a feature?
2655    
2656  feature {EB_WINDOW_MANAGER} -- Window management / Implementation  feature {EB_WINDOW_MANAGER} -- Window management / Implementation
2657    
2658          destroy_imp is          destroy_imp is
# Line 3404  feature {NONE} -- Implementation Line 3413  feature {NONE} -- Implementation
3413                                  create context_refreshing_timer.make_with_interval (100)                                  create context_refreshing_timer.make_with_interval (100)
3414                                  context_refreshing_timer.actions.extend (agent refresh_context_info)                                  context_refreshing_timer.actions.extend (agent refresh_context_info)
3415                          end                          end
3416                          context_refreshing_timer.set_interval (100)                          if feature_locating then
3417                                    context_refreshing_timer.set_interval (0)
3418                            else
3419                                    context_refreshing_timer.set_interval (100)
3420                            end
3421    
3422                  end                  end
3423    
3424          on_text_fully_loaded is          on_text_fully_loaded is

Legend:
Removed from v.56214  
changed lines
  Added in v.56237

  ViewVC Help
Powered by ViewVC 1.1.23