/[eiffelstudio]/trunk/Src/build/interface/widgets/containers/gb_ev_split_area_editor_constructor.e
ViewVC logotype

Diff of /trunk/Src/build/interface/widgets/containers/gb_ev_split_area_editor_constructor.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 63841 by manus, Thu Apr 20 16:35:54 2006 UTC revision 63842 by manus, Mon Sep 25 17:38:51 2006 UTC
# Line 14  inherit Line 14  inherit
14                  undefine                  undefine
15                          default_create                          default_create
16                  end                  end
17            
18          INTERNAL          INTERNAL
19                  undefine                  undefine
20                          default_create                          default_create
# Line 24  feature -- Access Line 24  feature -- Access
24    
25          ev_type: EV_SPLIT_AREA          ev_type: EV_SPLIT_AREA
26                  -- Vision2 type represented by `Current'.                  -- Vision2 type represented by `Current'.
27                    
28          type: STRING is "EV_SPLIT_AREA"          type: STRING is "EV_SPLIT_AREA"
29                  -- String representation of object_type modifyable by `Current'.                  -- String representation of object_type modifyable by `Current'.
30                    
31          attribute_editor: GB_OBJECT_EDITOR_ITEM is          attribute_editor: GB_OBJECT_EDITOR_ITEM is
32                          -- A vision2 component to enable modification                          -- A vision2 component to enable modification
33                          -- of items held in `objects'.                          -- of items held in `objects'.
# Line 40  feature -- Access Line 40  feature -- Access
40                          create second_expanded.make_with_text ("Is second expanded?")                          create second_expanded.make_with_text ("Is second expanded?")
41                          second_expanded.set_tooltip (gb_ev_split_area_is_item_expanded_tooltip)                          second_expanded.set_tooltip (gb_ev_split_area_is_item_expanded_tooltip)
42                          Result.extend (second_expanded)                          Result.extend (second_expanded)
43                            
44                                  -- Connect events                                  -- Connect events
45                          first_expanded.select_actions.extend (agent update_first_expanded)                          first_expanded.select_actions.extend (agent update_first_expanded)
46                          second_expanded.select_actions.extend (agent update_second_expanded)                          second_expanded.select_actions.extend (agent update_second_expanded)
47                            
48                          update_attribute_editor                          update_attribute_editor
49                  end                  end
50                    
51          update_attribute_editor is          update_attribute_editor is
52                          -- Update status of `attribute_editor' to reflect information                          -- Update status of `attribute_editor' to reflect information
53                          -- from `objects.first'.                          -- from `objects.first'.
# Line 76  feature {NONE} -- Implementation Line 76  feature {NONE} -- Implementation
76                          -- contain all agents required for modification of `Current.                          -- contain all agents required for modification of `Current.
77                  do                  do
78                  end                  end
79                    
80          update_first_expanded is          update_first_expanded is
81                          -- Update expanded state of first item.                          -- Update expanded state of first item.
82                  do                  do
# Line 84  feature {NONE} -- Implementation Line 84  feature {NONE} -- Implementation
84                          for_all_instance_referers (object, agent actual_update_first_expanded (?))                          for_all_instance_referers (object, agent actual_update_first_expanded (?))
85                          enable_project_modified                          enable_project_modified
86                  end                  end
87                    
88          update_second_expanded is          update_second_expanded is
89                          -- Update expanded state of second item.                          -- Update expanded state of second item.
90                  do                  do
# Line 92  feature {NONE} -- Implementation Line 92  feature {NONE} -- Implementation
92                          for_all_instance_referers (object, agent actual_update_second_expanded (?))                          for_all_instance_referers (object, agent actual_update_second_expanded (?))
93                          enable_project_modified                          enable_project_modified
94                  end                  end
95                    
96          actual_update_first_expanded (an_object: GB_OBJECT) is          actual_update_first_expanded (an_object: GB_OBJECT) is
97                          -- Update expanded state of first item for `an_object'.                          -- Update expanded state of first item for `an_object'.
98                  require                  require
# Line 101  feature {NONE} -- Implementation Line 101  feature {NONE} -- Implementation
101                          split_area: EV_SPLIT_AREA                          split_area: EV_SPLIT_AREA
102                  do                  do
103                          if first_expanded.is_selected then                          if first_expanded.is_selected then
                                 second_expanded.disable_select  
104                                  split_area ?= an_object.object                                  split_area ?= an_object.object
                                 split_area.disable_item_expand (split_area.second)  
105                                  split_area.enable_item_expand (split_area.first)                                  split_area.enable_item_expand (split_area.first)
106                                  split_area ?= an_object.real_display_object                                  split_area ?= an_object.real_display_object
                                 split_area.disable_item_expand (split_area.second)  
107                                  split_area.enable_item_expand (split_area.first)                                  split_area.enable_item_expand (split_area.first)
108                          else                          else
109                                    if not second_expanded.is_selected then
110                                            second_expanded.enable_select
111                                    end
112                                  split_area ?= an_object.object                                  split_area ?= an_object.object
113                                  split_area.disable_item_expand (split_area.first)                                  split_area.disable_item_expand (split_area.first)
114                                  split_area ?= an_object.real_display_object                                  split_area ?= an_object.real_display_object
115                                  split_area.disable_item_expand (split_area.first)                                  split_area.disable_item_expand (split_area.first)
116                          end                          end
117                  end                  end
118                    
119          actual_update_second_expanded (an_object: GB_OBJECT) is          actual_update_second_expanded (an_object: GB_OBJECT) is
120                          -- Update expanded state of second item for `an_object'.                          -- Update expanded state of second item for `an_object'.
121                  require                  require
# Line 124  feature {NONE} -- Implementation Line 124  feature {NONE} -- Implementation
124                          split_area: EV_SPLIT_AREA                          split_area: EV_SPLIT_AREA
125                  do                  do
126                          if second_expanded.is_selected then                          if second_expanded.is_selected then
                                 first_expanded.disable_select  
127                                  split_area ?= an_object.object                                  split_area ?= an_object.object
                                 split_area.disable_item_expand (split_area.first)  
128                                  split_area.enable_item_expand (split_area.second)                                  split_area.enable_item_expand (split_area.second)
129                                  split_area ?= an_object.real_display_object                                  split_area ?= an_object.real_display_object
                                 split_area.disable_item_expand (split_area.first)  
130                                  split_area.enable_item_expand (split_area.second)                                  split_area.enable_item_expand (split_area.second)
131                          else                          else
132                                    if not first_expanded.is_selected then
133                                            first_expanded.enable_select
134                                    end
135                                  split_area ?= an_object.object                                  split_area ?= an_object.object
136                                  split_area.disable_item_expand (split_area.second)                                  split_area.disable_item_expand (split_area.second)
137                                  split_area ?= an_object.real_display_object                                  split_area ?= an_object.real_display_object
138                                  split_area.disable_item_expand (split_area.second)                                  split_area.disable_item_expand (split_area.second)
139                          end                              end
140                  end                  end
141            
142          first_expanded: EV_CHECK_BUTTON          first_expanded: EV_CHECK_BUTTON
143          second_expanded: EV_CHECK_BUTTON          second_expanded: EV_CHECK_BUTTON
144            
145          is_item_expanded_string: STRING is "Is_item_expanded";          is_item_expanded_string: STRING is "Is_item_expanded";
146            
147                    
148  indexing  indexing
149          copyright:      "Copyright (c) 1984-2006, Eiffel Software"          copyright:      "Copyright (c) 1984-2006, Eiffel Software"
150          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"

Legend:
Removed from v.63841  
changed lines
  Added in v.63842

  ViewVC Help
Powered by ViewVC 1.1.23