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

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

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

revision 47280 by bennob, Tue Dec 28 19:29:19 2004 UTC revision 47772 by bennob, Sat Jan 22 00:01:58 2005 UTC
# Line 10  inherit Line 10  inherit
10          EB_CONTEXT_DIAGRAM_COMMAND          EB_CONTEXT_DIAGRAM_COMMAND
11                  redefine                  redefine
12                          new_toolbar_item,                          new_toolbar_item,
13                          description                          description,
14                            initialize
15                  end                  end
16                    
17            EB_CONTEXT_DIAGRAM_TOGGLE_COMMAND
18    
19  create  create
20          make          make
21            
22    feature {NONE} -- Initialization
23                    
24            initialize is
25                            -- Initialize default values.
26                    do
27                            create accelerator.make_with_key_combination (
28                                    create {EV_KEY}.make_with_code (key_constants.key_l),
29                                    True, False, False)
30                            accelerator.actions.extend (agent execute)
31                    end
32    
33  feature -- Basic operations  feature -- Basic operations
34    
35          execute is          execute is
36                          -- Perform operation.                          -- Perform operation.
37                  do                  do
38                          if tool.world.is_labels_shown and then not current_button.is_selected then                          if is_sensitive then
39                                  tool.world.hide_labels                                  if tool.world.is_labels_shown then
40                          elseif not tool.world.is_labels_shown and then current_button.is_selected then                                          tool.world.hide_labels
41                                  tool.world.show_labels                                          disable_select
42                                    else
43                                            tool.world.show_labels
44                                            enable_select
45                                    end
46                                    tool.projector.full_project
47                          end                          end
                         current_button.set_tooltip (tooltip)  
                         tool.projector.full_project  
48                  end                  end
49    
50          new_toolbar_item (display_text: BOOLEAN; use_gray_icons: BOOLEAN): EB_COMMAND_TOGGLE_TOOL_BAR_BUTTON is          new_toolbar_item (display_text: BOOLEAN; use_gray_icons: BOOLEAN): EB_COMMAND_TOGGLE_TOOL_BAR_BUTTON is

Legend:
Removed from v.47280  
changed lines
  Added in v.47772

  ViewVC Help
Powered by ViewVC 1.1.23