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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 62171 - (show annotations)
Tue Aug 1 01:27:17 2006 UTC (13 years, 6 months ago) by larryl
File size: 2350 byte(s)
First commit docking tabbed Eiffel Studio.
1 indexing
2 description: "Toggle line numbers in editors."
3 legal: "See notice at end of class."
4 status: "See notice at end of class."
5 date: "$Date$"
6 revision: "$Revision$"
7
8 class
9 EB_TOGGLE_LINE_NUMBERS_COMMAND
10
11 inherit
12 EB_MENUABLE_COMMAND
13
14 EB_SHARED_PREFERENCES
15 export
16 {NONE} all
17 end
18
19 create
20 make
21
22 feature -- Initialization
23
24 make is
25 -- New command
26 do
27 initialize
28 end
29
30 feature -- Execution
31
32 initialize is
33 -- Initialize
34 do
35 create accelerator.make_with_key_combination (create {EV_KEY}.make_with_code ({EV_KEY_CONSTANTS}.key_l), True, False, False)
36 accelerator.actions.extend (agent execute)
37 enable_sensitive
38 end
39
40 execute is
41 -- Execute the command.
42 do
43 preferences.editor_data.show_line_numbers_preference.set_value (not preferences.editor_data.show_line_numbers)
44 end
45
46 feature {NONE} -- Implementation
47
48 pixmap: EV_PIXMAP
49 -- Pixmap
50
51 menu_name: STRING is
52 -- Name as it appears in the menu (with & symbol).
53 do
54 Result := Interface_names.m_line_numbers
55 end
56
57 indexing
58 copyright: "Copyright (c) 1984-2006, Eiffel Software"
59 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
60 licensing_options: "http://www.eiffel.com/licensing"
61 copying: "[
62 This file is part of Eiffel Software's Eiffel Development Environment.
63
64 Eiffel Software's Eiffel Development Environment is free
65 software; you can redistribute it and/or modify it under
66 the terms of the GNU General Public License as published
67 by the Free Software Foundation, version 2 of the License
68 (available at the URL listed under "license" above).
69
70 Eiffel Software's Eiffel Development Environment is
71 distributed in the hope that it will be useful, but
72 WITHOUT ANY WARRANTY; without even the implied warranty
73 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
74 See the GNU General Public License for more details.
75
76 You should have received a copy of the GNU General Public
77 License along with Eiffel Software's Eiffel Development
78 Environment; if not, write to the Free Software Foundation,
79 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
80 ]"
81 source: "[
82 Eiffel Software
83 356 Storke Road, Goleta, CA 93117 USA
84 Telephone 805-685-1006, Fax 805-685-6869
85 Website http://www.eiffel.com
86 Customer support http://support.eiffel.com
87 ]"
88
89 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23