/[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 60057 by manus, Wed Jun 21 17:50:27 2006 UTC revision 60107 by tedf, Wed Jun 21 23:44:16 2006 UTC
# Line 205  feature {NONE} -- Initialization Line 205  feature {NONE} -- Initialization
205                                  -- Build the history manager, the address manager, ...                                  -- Build the history manager, the address manager, ...
206                          create history_manager.make (Current)                          create history_manager.make (Current)
207                          create address_manager.make (Current, False)                          create address_manager.make (Current, False)
208                            build_viewpoints
209                          build_formatters                          build_formatters
210                          address_manager.set_formatters (managed_main_formatters)                          address_manager.set_formatters (managed_main_formatters)
211                            address_manager.set_viewpoints (view_points_widget)
212    
213    
214                                  -- Init commands, build interface, build menus, ...                                  -- Init commands, build interface, build menus, ...
215                          Precursor                          Precursor
# Line 505  feature {NONE} -- Initialization Line 508  feature {NONE} -- Initialization
508                                          True, False, True)                                          True, False, True)
509                          accel.actions.extend (agent form.execute)                          accel.actions.extend (agent form.execute)
510                          form.set_accelerator (accel)                          form.set_accelerator (accel)
511                            form.set_viewpoints (view_points_combo)
512                            form.post_execution_action.extend (agent update_viewpoints)
513                          managed_main_formatters.extend (form)                          managed_main_formatters.extend (form)
514    
515                          create {EB_CLICKABLE_FORMATTER} form.make (Current)                          create {EB_CLICKABLE_FORMATTER} form.make (Current)
# Line 513  feature {NONE} -- Initialization Line 518  feature {NONE} -- Initialization
518                                          True, False, True)                                          True, False, True)
519                          accel.actions.extend (agent form.execute)                          accel.actions.extend (agent form.execute)
520                          form.set_accelerator (accel)                          form.set_accelerator (accel)
521                            form.set_viewpoints (view_points_combo)
522                            form.post_execution_action.extend (agent update_viewpoints)
523                          managed_main_formatters.extend (form)                          managed_main_formatters.extend (form)
524    
525                          create {EB_FLAT_FORMATTER} form.make (Current)                          create {EB_FLAT_FORMATTER} form.make (Current)
# Line 521  feature {NONE} -- Initialization Line 528  feature {NONE} -- Initialization
528                                          True, False, True)                                          True, False, True)
529                          accel.actions.extend (agent form.execute)                          accel.actions.extend (agent form.execute)
530                          form.set_accelerator (accel)                          form.set_accelerator (accel)
531                            form.set_viewpoints (view_points_combo)
532                            form.post_execution_action.extend (agent update_viewpoints)
533                          managed_main_formatters.extend (form)                          managed_main_formatters.extend (form)
534    
535                          create {EB_SHORT_FORMATTER} form.make (Current)                          create {EB_SHORT_FORMATTER} form.make (Current)
# Line 529  feature {NONE} -- Initialization Line 538  feature {NONE} -- Initialization
538                                          True, False, True)                                          True, False, True)
539                          accel.actions.extend (agent form.execute)                          accel.actions.extend (agent form.execute)
540                          form.set_accelerator (accel)                          form.set_accelerator (accel)
541                            form.set_viewpoints (view_points_combo)
542                            form.post_execution_action.extend (agent update_viewpoints)
543                          managed_main_formatters.extend (form)                          managed_main_formatters.extend (form)
544    
545                          create {EB_FLAT_SHORT_FORMATTER} form.make (Current)                          create {EB_FLAT_SHORT_FORMATTER} form.make (Current)
# Line 537  feature {NONE} -- Initialization Line 548  feature {NONE} -- Initialization
548                                          True, False, True)                                          True, False, True)
549                          accel.actions.extend (agent form.execute)                          accel.actions.extend (agent form.execute)
550                          form.set_accelerator (accel)                          form.set_accelerator (accel)
551                            form.set_viewpoints (view_points_combo)
552                            form.post_execution_action.extend (agent update_viewpoints)
553                          managed_main_formatters.extend (form)                          managed_main_formatters.extend (form)
554                  end                  end
555    
# Line 729  feature {NONE} -- Initialization Line 742  feature {NONE} -- Initialization
742                          unlock_update                          unlock_update
743                  end                  end
744    
745            build_viewpoints is
746                            -- Build viewpoint selection list
747                    local
748                            l_label: EV_LABEL
749                    do
750                            create view_points_widget
751                            create l_label.make_with_text (interface_names.l_viewpoints)
752                            view_points_widget.extend (l_label)
753                            view_points_widget.disable_item_expand (l_label)
754    
755                            create view_points_combo
756                            view_points_combo.disable_sensitive
757                            view_points_combo.select_actions.extend (agent on_viewpoint_changed)
758                            view_points_combo.disable_edit
759                            view_points_combo.set_minimum_width (120)
760    
761                            view_points_widget.extend (view_points_combo)
762                            view_points_widget.disable_item_expand (view_points_combo)
763                    end
764    
765  feature -- Access  feature -- Access
766    
767          group: CONF_GROUP is          group: CONF_GROUP is
# Line 2224  feature -- Position provider Line 2257  feature -- Position provider
2257    
2258          pos_container: like pos_container_internal is          pos_container: like pos_container_internal is
2259                          -- Current selected formatter                          -- Current selected formatter
                 local  
                         l_end : BOOLEAN  
                         l_index: INTEGER  
                         l_formatter: like managed_main_formatters  
2260                  do                  do
2261                          l_formatter := managed_main_formatters                          Result := selected_formatter
                         l_index := l_formatter.index  
                         from  
                                 l_formatter.start  
                         until  
                                 l_formatter.after or l_end  
                         loop  
                                 if l_formatter.item.selected then  
                                         l_end := true  
                                         Result := l_formatter.item  
                                 end  
                                 l_formatter.forth  
                         end  
                         l_formatter.go_i_th (l_index)  
2262                  end                  end
2263    
2264  feature -- Resource Update  feature -- Resource Update
# Line 2530  feature -- Resource Update Line 2546  feature -- Resource Update
2546                          end                          end
2547                  end                  end
2548    
2549            update_viewpoints is
2550                            -- Update viewpoints
2551                    local
2552                            l_formatter: EB_FORMATTER
2553                            l_end_loop: BOOLEAN
2554                            l_index: INTEGER
2555                    do
2556                            view_points_combo.disable_sensitive
2557                            if view_points_combo.has_renamed_view_point then
2558                                    l_index := managed_main_formatters.index
2559                                    from
2560                                            managed_main_formatters.start
2561                                            managed_main_formatters.forth
2562                                    until
2563                                            managed_main_formatters.after or l_end_loop
2564                                    loop
2565                                            l_formatter := managed_main_formatters.item
2566                                            if l_formatter.selected and l_formatter.button.is_sensitive  then
2567                                                    l_end_loop := True
2568                                                    view_points_combo.enable_sensitive
2569                                            end
2570                                            managed_main_formatters.forth
2571                                    end
2572                                    managed_main_formatters.go_i_th (l_index)
2573                            end
2574                    end
2575    
2576  feature -- Window management  feature -- Window management
2577    
2578          show_window is          show_window is
# Line 2665  feature -- Tools & Controls Line 2708  feature -- Tools & Controls
2708          managed_main_formatters: ARRAYED_LIST [EB_CLASS_TEXT_FORMATTER]          managed_main_formatters: ARRAYED_LIST [EB_CLASS_TEXT_FORMATTER]
2709                          -- All formatters that can be displayed in the main editor frame.                          -- All formatters that can be displayed in the main editor frame.
2710    
2711            view_points_combo: EB_VIEWPOINT_COMBO_BOX
2712                            -- Combo box used to a select viewpoints
2713    
2714            view_points_widget: EV_HORIZONTAL_BOX
2715                            -- Widget to contain viewpoints box
2716    
2717          unified_stone: BOOLEAN          unified_stone: BOOLEAN
2718                          -- Is the stone common with the context tool or not?                          -- Is the stone common with the context tool or not?
2719    
# Line 2940  feature {NONE} -- Implementation Line 2989  feature {NONE} -- Implementation
2989                                          -- Update the address manager if needed.                                          -- Update the address manager if needed.
2990                                  address_manager.refresh                                  address_manager.refresh
2991                                  if new_class_stone /= Void then                                  if new_class_stone /= Void then
2992                                            if not during_synchronization then
2993                                                    view_points_combo.set_conf_class (new_class_stone.class_i.config_class)
2994                                            end
2995                                                  -- Text is now editable.                                                  -- Text is now editable.
2996                                          editor_tool.text_area.set_read_only (False)                                          editor_tool.text_area.set_read_only (False)
2997    
# Line 3125  feature {NONE} -- Implementation Line 3177  feature {NONE} -- Implementation
3177                                          end                                          end
3178                                          if cluster_st /= Void and then cluster_st.is_cluster then                                          if cluster_st /= Void and then cluster_st.is_cluster then
3179          --| FIXME XR: Really manage cluster display in the main editor          --| FIXME XR: Really manage cluster display in the main editor
3180                                                    if not during_synchronization then
3181                                                            view_points_combo.set_conf_group (cluster_st.group)
3182                                                    end
3183                                                  formatted_context_for_cluster (cluster_st.cluster_i, cluster_st.path)                                                  formatted_context_for_cluster (cluster_st.cluster_i, cluster_st.path)
3184                                                  if cluster_st.position > 0 then                                                  if cluster_st.position > 0 then
3185                                                          editor_tool.text_area.display_line_at_top_when_ready (cluster_st.position)                                                          editor_tool.text_area.display_line_at_top_when_ready (cluster_st.position)
# Line 3204  feature {NONE} -- Implementation Line 3259  feature {NONE} -- Implementation
3259          --                                      cur_wid.disable_capture          --                                      cur_wid.disable_capture
3260                                  cur_wid := Void                                  cur_wid := Void
3261                          end                          end
3262                            update_viewpoints
3263                  end                  end
3264    
3265          formatted_context_for_cluster (a_cluster: CLUSTER_I; a_path: STRING) is          formatted_context_for_cluster (a_cluster: CLUSTER_I; a_path: STRING) is
# Line 3888  feature {NONE} -- Implementation Line 3944  feature {NONE} -- Implementation
3944                  end                  end
3945    
3946          context_refreshing_timer: EV_TIMEOUT          context_refreshing_timer: EV_TIMEOUT
3947                            -- Timer to refresh feature tree address bar.
3948    
3949            on_viewpoint_changed is
3950                            -- Switch viewpoint.
3951                    local
3952                            l_formatter: EB_CLASS_TEXT_FORMATTER
3953                            l_line: INTEGER
3954                    do
3955                            l_formatter := selected_formatter
3956                            if l_formatter.button.is_sensitive and then l_formatter /= managed_main_formatters.first then
3957                                    l_line := editor_tool.text_area.first_line_displayed
3958                                    l_formatter.execute
3959                                    editor_tool.text_area.display_line_at_top_when_ready (l_line)
3960                            end
3961                    end
3962    
3963            selected_formatter: EB_CLASS_TEXT_FORMATTER is
3964                            -- Current selected formatter
3965                    local
3966                            l_end : BOOLEAN
3967                            l_index: INTEGER
3968                            l_formatter: like managed_main_formatters
3969                    do
3970                            l_formatter := managed_main_formatters
3971                            l_index := l_formatter.index
3972                            from
3973                                    l_formatter.start
3974                            until
3975                                    l_formatter.after or l_end
3976                            loop
3977                                    if l_formatter.item.selected then
3978                                            l_end := true
3979                                            Result := l_formatter.item
3980                                    end
3981                                    l_formatter.forth
3982                            end
3983                            l_formatter.go_i_th (l_index)
3984                    end
3985    
3986  feature -- Recycle  feature -- Recycle
3987    

Legend:
Removed from v.60057  
changed lines
  Added in v.60107

  ViewVC Help
Powered by ViewVC 1.1.23