/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/commands/eb_show_toolbar_command.e
ViewVC logotype

Diff of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/commands/eb_show_toolbar_command.e

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

revision 62170 by manus, Sun Jul 30 06:11:18 2006 UTC revision 62171 by larryl, Tue Aug 1 01:27:17 2006 UTC
# Line 28  create Line 28  create
28    
29  feature {NONE} -- Initialization  feature {NONE} -- Initialization
30    
31          make (a_target: like target; a_menu_name: STRING) is          make (a_target: SD_TOOL_BAR_CONTENT; a_menu_name: STRING) is
32                          -- Initialize Current with target `a_target' and `menu_name' set to `a_menu_name'.                          -- Initialize Current with target `a_target' and `menu_name' set to `a_menu_name'.
33                    require
34                            not_void: a_target /= Void
35                  do                  do
                         command_make (a_target)  
36                          menu_name := a_menu_name                          menu_name := a_menu_name
37                          name := a_menu_name                          name := a_menu_name
38                            content := a_target
39                    ensure
40                            set: content = a_target
41                  end                  end
42    
43            content: SD_TOOL_BAR_CONTENT
44  feature -- Status setting  feature -- Status setting
45    
46          enable_visible is          enable_visible is
# Line 46  feature -- Status setting Line 51  feature -- Status setting
51                  do                  do
52                          if not is_visible then                          if not is_visible then
53                                  is_visible := True                                  is_visible := True
54                                  target.show                                  content.show
55    
56                                  menu_items := managed_menu_items                                  menu_items := managed_menu_items
57                                  if menu_items /= Void then                                  if menu_items /= Void then
58                                          from                                          from
# Line 72  feature -- Status setting Line 78  feature -- Status setting
78                          menu_items: like managed_menu_items                          menu_items: like managed_menu_items
79                          citem: EB_COMMAND_CHECK_MENU_ITEM                          citem: EB_COMMAND_CHECK_MENU_ITEM
80                  do                  do
81    
82                          if is_visible then                          if is_visible then
83                                  menu_items := managed_menu_items                                  menu_items := managed_menu_items
84                                  if menu_items /= Void then                                  if menu_items /= Void then
# Line 90  feature -- Status setting Line 97  feature -- Status setting
97                                          end                                          end
98                                  end                                  end
99                                  is_visible := False                                  is_visible := False
100                                  target.hide                                  content.hide
101                          end                          end
102                  end                  end
103    
# Line 109  feature -- Basic operations Line 116  feature -- Basic operations
116                                  Result.disable_select                                  Result.disable_select
117                          end                          end
118                          Result.select_actions.extend (agent execute)                          Result.select_actions.extend (agent execute)
119                            if pixmap /= Void then
120                                    Result.set_pixmap (pixmap)
121                            end
122                  end                  end
123    
124  feature -- Access  feature -- Access
# Line 116  feature -- Access Line 126  feature -- Access
126          menu_name: STRING          menu_name: STRING
127                          -- Name as it appears in the menu.                          -- Name as it appears in the menu.
128    
129          name: STRING;          name: STRING
130                          -- Name for the command.                          -- Name for the command.
131    
132            pixmap: EV_PIXMAP;
133                            -- Pixmap      
134    
135  indexing  indexing
136          copyright:      "Copyright (c) 1984-2006, Eiffel Software"          copyright:      "Copyright (c) 1984-2006, Eiffel Software"
137          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.62170  
changed lines
  Added in v.62171

  ViewVC Help
Powered by ViewVC 1.1.23