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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 62171 - (show annotations)
Tue Aug 1 01:27:17 2006 UTC (13 years, 4 months ago) by larryl
File size: 2981 byte(s)
First commit docking tabbed Eiffel Studio.
1 indexing
2 description : "Command to show the preference window."
3 legal: "See notice at end of class."
4 status: "See notice at end of class."
5 author : "Arnaud PICHERY [aranud@mail.dotcom.fr]"
6 date : "$Date$"
7 revision : "$Revision$"
8
9 class EB_SHOW_PREFERENCES_COMMAND
10
11 inherit
12 EB_MENUABLE_COMMAND
13
14 EB_SHARED_WINDOW_MANAGER
15 export
16 {NONE} all
17 end
18
19 EB_SHARED_PREFERENCES
20
21 create
22 make
23
24 feature {NONE} -- Initialization
25
26 make is
27 -- Create this command.
28 do
29 end
30
31 feature {NONE} -- Execution
32
33 execute is
34 -- Execute command.
35 local
36 l_show_hidden_flag: BOOLEAN
37 do
38 l_show_hidden_flag := preferences.misc_data.show_hidden_preferences
39 if preference_window = Void or else preference_window.is_destroyed then
40 -- Preference tool is not currently displayed, create and display it.
41 create preference_window.make_with_hidden (
42 preferences.preferences,
43 window_manager.last_focused_development_window.window,
44 l_show_hidden_flag
45 )
46 end
47 preference_window.set_size (preferences.misc_data.preference_window_width, preferences.misc_data.preference_window_height)
48 preference_window.set_show_hidden_preferences (l_show_hidden_flag)
49 preference_window.show
50 preference_window.raise
51 end
52
53 feature -- Properties
54
55 name: STRING is
56 -- Command name
57 do
58 Result := Interface_names.f_Preferences
59 end
60
61 menu_name: STRING is
62 -- Name used in menu entry
63 do
64 Result := Interface_names.m_Preferences
65 end
66
67 pixmap: EV_PIXMAP
68 -- Pixmap
69
70 feature {NONE} -- Implementation
71
72 preference_window: EB_PREFERENCES_WINDOW;
73 -- Current preference window if any.
74
75 indexing
76 copyright: "Copyright (c) 1984-2006, Eiffel Software"
77 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
78 licensing_options: "http://www.eiffel.com/licensing"
79 copying: "[
80 This file is part of Eiffel Software's Eiffel Development Environment.
81
82 Eiffel Software's Eiffel Development Environment is free
83 software; you can redistribute it and/or modify it under
84 the terms of the GNU General Public License as published
85 by the Free Software Foundation, version 2 of the License
86 (available at the URL listed under "license" above).
87
88 Eiffel Software's Eiffel Development Environment is
89 distributed in the hope that it will be useful, but
90 WITHOUT ANY WARRANTY; without even the implied warranty
91 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
92 See the GNU General Public License for more details.
93
94 You should have received a copy of the GNU General Public
95 License along with Eiffel Software's Eiffel Development
96 Environment; if not, write to the Free Software Foundation,
97 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
98 ]"
99 source: "[
100 Eiffel Software
101 356 Storke Road, Goleta, CA 93117 USA
102 Telephone 805-685-1006, Fax 805-685-6869
103 Website http://www.eiffel.com
104 Customer support http://support.eiffel.com
105 ]"
106
107 end -- class EB_SHOW_PREFERENCE_TOOL

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23