/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/debug_tool/eb_debug_options_cmd.e
ViewVC logotype

Contents of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/debug_tool/eb_debug_options_cmd.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 61888 - (show annotations)
Sun Jul 30 05:49:49 2006 UTC (13 years, 4 months ago) by manus
File size: 3421 byte(s)
EiffelStudio docking branch. It only contains modified classes needed to get the docking version of EiffelStudio.
1 indexing
2 description:
3 "Set debugging options."
4 legal: "See notice at end of class."
5 status: "See notice at end of class."
6 date: "$Date$"
7 revision: "$Revision$"
8
9 class
10 EB_DEBUG_OPTIONS_CMD
11
12 inherit
13 EB_TOOLBARABLE_AND_MENUABLE_COMMAND
14 redefine
15 tooltext
16 end
17
18 EB_SHARED_INTERFACE_TOOLS
19 export
20 {NONE} all
21 end
22
23 EB_SHARED_WINDOW_MANAGER
24
25 create
26 make
27
28 feature {NONE} -- Initialization
29
30 make (a_manager: like debugger_manager) is
31 -- Initialize `Current' and associate it with `a_manager'.
32 do
33 debugger_manager := a_manager
34 end
35
36 feature -- Formatting
37
38 execute_run_project is
39 do
40 if is_sensitive then
41 debugger_manager.run_project_cmd.execute
42 end
43 end
44
45 execute is
46 -- Set the execution format to `stone'.
47 local
48 args_dialog: EB_ARGUMENT_DIALOG
49 window: EB_DEVELOPMENT_WINDOW
50 dev: EV_WINDOW
51 do
52 if is_sensitive then
53 window ?= window_manager.last_focused_window
54 if window /= Void then
55 dev := window.window
56 if not argument_dialog_is_valid then
57 create args_dialog.make (window, agent execute_run_project)
58 set_argument_dialog (args_dialog)
59 else
60 argument_dialog.update
61 end
62 if not argument_dialog.is_displayed then
63 argument_dialog.show
64 end
65 if argument_dialog.is_minimized then
66 argument_dialog.restore
67 end
68 argument_dialog.raise
69 end
70 end
71 end
72
73 feature -- Properties
74
75 debugger_manager: EB_DEBUGGER_MANAGER
76 -- Manager in charge of all debugging operations.
77
78 tooltip: STRING is
79 -- Tooltip for `Current'.
80 do
81 Result := "Debugging options"
82 end
83
84 pixmap: EV_PIXMAP is
85 -- Pixmap for the button.
86 do
87 Result := pixmaps.icon_pixmaps.tool_config_icon
88 end
89
90 name: STRING is "Debugging_options"
91 -- Name of the command.
92
93 menu_name: STRING is "Debugging options"
94
95 tooltext: STRING is
96 -- Default text displayed in toolbar button
97 do
98 Result := "Debugging options"
99 end
100
101 feature {NONE} -- Attributes
102
103 description: STRING is
104 -- What appears in the customize dialog box.
105 do
106 Result := tooltip
107 end
108
109 indexing
110 copyright: "Copyright (c) 1984-2006, Eiffel Software"
111 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
112 licensing_options: "http://www.eiffel.com/licensing"
113 copying: "[
114 This file is part of Eiffel Software's Eiffel Development Environment.
115
116 Eiffel Software's Eiffel Development Environment is free
117 software; you can redistribute it and/or modify it under
118 the terms of the GNU General Public License as published
119 by the Free Software Foundation, version 2 of the License
120 (available at the URL listed under "license" above).
121
122 Eiffel Software's Eiffel Development Environment is
123 distributed in the hope that it will be useful, but
124 WITHOUT ANY WARRANTY; without even the implied warranty
125 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
126 See the GNU General Public License for more details.
127
128 You should have received a copy of the GNU General Public
129 License along with Eiffel Software's Eiffel Development
130 Environment; if not, write to the Free Software Foundation,
131 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
132 ]"
133 source: "[
134 Eiffel Software
135 356 Storke Road, Goleta, CA 93117 USA
136 Telephone 805-685-1006, Fax 805-685-6869
137 Website http://www.eiffel.com
138 Customer support http://support.eiffel.com
139 ]"
140
141 end -- class EB_DEBUG_OPTIONS_CMD

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23