84 |
Result := pixmaps.icon_pixmaps.diagram_toogle_physics_icon |
Result := pixmaps.icon_pixmaps.diagram_toogle_physics_icon |
85 |
end |
end |
86 |
|
|
87 |
|
pixel_buffer: EV_PIXEL_BUFFER is |
88 |
|
-- Pixel buffer representing the command. |
89 |
|
do |
90 |
|
-- Currently there is no pixel buffer for this command. |
91 |
|
end |
92 |
|
|
93 |
description: STRING is |
description: STRING is |
94 |
-- Description for this command. |
-- Description for this command. |
95 |
do |
do |
100 |
-- Name of the command. Used to store the command in the |
-- Name of the command. Used to store the command in the |
101 |
-- preferences. |
-- preferences. |
102 |
|
|
103 |
feature {EB_CONTEXT_EDITOR} -- Implementation |
feature {EB_DIAGRAM_TOOL} -- Implementation |
104 |
|
|
105 |
current_button: EB_COMMAND_TOGGLE_TOOL_BAR_BUTTON; |
current_button: EB_COMMAND_TOGGLE_TOOL_BAR_BUTTON; |
106 |
-- Current toggle button. |
-- Current toggle button. |