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

Contents of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/commands/eb_command_feedback.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 62052 - (show annotations)
Sun Jul 30 06:21:29 2006 UTC (13 years, 4 months ago) by manus
File size: 2886 byte(s)
EiffelStudio docking branch. It only contains modified classes needed to get the docking version of EiffelStudio.
1 indexing
2 description: "Command that may be linked with a toolbar button and a menu item."
3 legal: "See notice at end of class."
4 status: "See notice at end of class."
5 author: "Christophe Bonnard"
6 date: "$Date$"
7 revision: "$Revision$"
8
9 deferred class
10 EB_COMMAND_FEEDBACK
11
12 inherit
13 EB_COMMAND
14
15 feature -- Initialization
16
17 set_button (a_button: like button) is
18 -- Set `button' to `a_button'.
19 require
20 a_button_non_void: a_button /= Void
21 do
22 button := a_button
23 button.select_actions.extend (agent execute)
24 ensure
25 properly_set: button = a_button
26 end
27
28 set_menu_item (a_menu_item: like menu_item) is
29 -- Set `menu_item' to `a_menu_item'.
30 require
31 a_menu_item_non_void: a_menu_item /= Void
32 do
33 menu_item := a_menu_item
34 menu_item.select_actions.extend (agent execute)
35 ensure
36 properly_set: menu_item = a_menu_item
37 end
38
39 feature -- Status setting
40
41 enable_sensitive is
42 -- Set both the `associated_button' and
43 -- `associated_menu_entry' to be sensitive.
44 do
45 if button /= Void then
46 button.enable_sensitive
47 end
48 if menu_item /= Void then
49 menu_item.enable_sensitive
50 end
51 end
52
53 disable_sensitive is
54 -- Set both the `associated_button' and
55 -- `associated_menu_entry' to be insensitive.
56 do
57 if button /= Void then
58 button.disable_sensitive
59 end
60 if menu_item /= Void then
61 menu_item.disable_sensitive
62 end
63 end
64
65 feature -- Access
66
67 button: EV_TOOL_BAR_BUTTON
68 -- Button on the toolbar.
69
70 menu_item: EV_MENU_ITEM;
71 -- Menu entry in the menu.
72
73 indexing
74 copyright: "Copyright (c) 1984-2006, Eiffel Software"
75 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
76 licensing_options: "http://www.eiffel.com/licensing"
77 copying: "[
78 This file is part of Eiffel Software's Eiffel Development Environment.
79
80 Eiffel Software's Eiffel Development Environment is free
81 software; you can redistribute it and/or modify it under
82 the terms of the GNU General Public License as published
83 by the Free Software Foundation, version 2 of the License
84 (available at the URL listed under "license" above).
85
86 Eiffel Software's Eiffel Development Environment is
87 distributed in the hope that it will be useful, but
88 WITHOUT ANY WARRANTY; without even the implied warranty
89 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
90 See the GNU General Public License for more details.
91
92 You should have received a copy of the GNU General Public
93 License along with Eiffel Software's Eiffel Development
94 Environment; if not, write to the Free Software Foundation,
95 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
96 ]"
97 source: "[
98 Eiffel Software
99 356 Storke Road, Goleta, CA 93117 USA
100 Telephone 805-685-1006, Fax 805-685-6869
101 Website http://www.eiffel.com
102 Customer support http://support.eiffel.com
103 ]"
104
105 end -- class EB_COMMAND_FEEDBACK

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23