/[eiffelstudio]/branches/eth/eve/Src/Eiffel/interface/new_graphical/windows/development_window/eb_development_window_commands.e
ViewVC logotype

Contents of /branches/eth/eve/Src/Eiffel/interface/new_graphical/windows/development_window/eb_development_window_commands.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 94983 - (show annotations)
Fri May 2 11:05:28 2014 UTC (5 years, 5 months ago) by jasonw
File size: 23986 byte(s)
<<Merged from trunk#94978.>>
1 note
2 description: "All commands in EB_DEVELOPMENT_WINDOW."
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_DEVELOPMENT_WINDOW_COMMANDS
10
11 inherit
12 EB_DEVELOPMENT_WINDOW_PART
13 redefine
14 internal_recycle
15 end
16
17 create
18 make
19
20 feature -- Query
21
22 new_tab_cmd: EB_NEW_TAB_EDITOR_COMMAND
23 -- Command to create a new tab.
24
25 new_cluster_cmd: EB_NEW_CLUSTER_COMMAND
26 -- Command to create a new cluster.
27
28 new_library_cmd: EB_NEW_LIBRARY_COMMAND
29 -- Command to create a new library.
30
31 new_assembly_cmd: EB_NEW_ASSEMBLY_COMMAND
32 -- Command to create a new assembly.
33
34 new_class_cmd: EB_NEW_CLASS_COMMAND
35 -- Command to create a new class.
36
37 new_feature_cmd: EB_NEW_FEATURE_COMMAND
38 -- Command to execute the feature wizard.
39
40 toggle_stone_cmd: EB_UNIFY_STONE_CMD
41 -- Command to toggle between the stone management modes.
42
43 system_info_cmd: EB_SYSTEM_INFORMATION_CMD
44 -- Command to display information about the system (root class,...)
45 send_stone_to_context_cmd: EB_STANDARD_CMD
46 -- Command to send the current stone to the context tool.
47
48 print_cmd: EB_PRINT_COMMAND
49 -- Command to print the content of editor with focus
50
51 c_workbench_compilation_cmd: EB_C_COMPILATION_COMMAND
52 -- Command to compile the workbench C code.
53
54 c_finalized_compilation_cmd: EB_C_COMPILATION_COMMAND
55 -- Command to compile the finalized C code.
56
57 shell_cmd: EB_OPEN_SHELL_COMMAND
58 -- Command to use an external editor.
59
60 undo_cmd: EB_UNDO_COMMAND
61 -- Command to undo in the editor.
62
63 redo_cmd: EB_REDO_COMMAND
64 -- Command to redo in the editor.
65
66 editor_cut_cmd: EB_EDITOR_CUT_COMMAND
67 -- Command to cut text in the editor.
68
69 editor_copy_cmd: EB_EDITOR_COPY_COMMAND
70 -- Command to copy text in the editor.
71
72 editor_paste_cmd: EB_EDITOR_PASTE_COMMAND
73 -- Command to paste text in the editor.
74
75 melt_cmd: EB_MELT_PROJECT_COMMAND
76 -- Command to start compilation.
77
78 delete_class_cluster_cmd: EB_DELETE_CLASS_CLUSTER_COMMAND
79 -- Command to remove a class or a cluster from the system
80 -- (permanent deletion).
81
82 show_profiler: EB_SHOW_PROFILE_TOOL
83 -- What allows us to display the profiler window.
84
85 save_as_cmd: EB_SAVE_FILE_AS_COMMAND
86 -- Command to save a class with a different file name.
87
88 Edit_external_commands_cmd: EB_EXTERNAL_COMMANDS_EDITOR
89 -- Command that lets the user add new external commands to the tools menu.
90 once
91 create Result.make
92 Result.enable_sensitive
93 end
94
95 reset_layout_command: EB_RESET_LAYOUT_COMMAND
96 -- Reset tools layout command
97
98 save_layout_as_command: EB_SAVE_LAYOUT_AS_COMMAND
99 -- Save layout as command.
100
101 lock_tool_bar_command: EB_LOCK_TOOL_BAR_COMMAND
102 -- Lock tool bar command
103
104 lock_docking_command: EB_LOCK_DOCKING_COMMAND
105 -- Lock tools docking mechanism command
106
107 lock_editor_docking_command: EB_LOCK_EDITOR_DOCKING_COMMAND
108 -- Lock editors docking mechanims command
109
110 maximize_editor_area_command: EB_MAXIMIZE_EDITOR_AREA_COMMAND
111 -- Command that maximize whole editor area
112
113 minimize_editor_area_command: EB_MINIMIZE_EDITOR_AREA_COMMAND
114 -- Command that minimize whole editor area
115
116 restore_editor_area_command: EB_RESTORE_EDITOR_AREA_COMMAND
117 -- Command that restore editor area
118
119 minimize_editors_command: EB_MINIMIZE_EDITORS_COMMAND
120 -- Command that minimized all editors
121
122 restore_editors_command: EB_RESTORE_EDITORS_COMMAND
123 -- Command that restore all minimized editors
124
125 edit_bp_here_command: ES_EDIT_BREAKPOINT_HERE_CMD
126 -- Command that edit bp on current location
127
128 enable_remove_bp_here_command: ES_TOGGLE_BREAKPOINT_HERE_CMD
129 -- Command that enable/remove bp on current location
130
131 enable_disable_bp_here_command: ES_TOGGLE_BREAKPOINT_HERE_CMD
132 -- Command that enable/disable bp on current location
133
134 run_to_this_point_command: ES_EXEC_RUN_TO_THIS_POINT_CMD
135 -- Command to run to the cursor's location
136
137 close_current_panel_command: EB_CLOSE_CURRENT_PANEL_COMMAND
138 -- Command to close current focused (tab) editor/tool
139
140 close_all_tab_command: EB_CLOSE_ALL_TAB_COMMAND
141 -- Command to close all tabs in same notebook
142
143 close_all_but_current_command: EB_CLOSE_ALL_BUT_CURRENT_COMMAND
144 -- Command to close all tabs except current focused one
145
146 close_all_but_unsaved_command: EB_CLOSE_ALL_BUT_UNSAVED_COMMAND
147 -- Command to close all unsaved tab editors
148
149 close_all_empty_tab_command: EB_CLOSE_ALL_EMPTY_TAB_COMMAND
150 -- Command to close all empty tabs in current notebook
151
152 editor_font_zoom_in_command: EB_EDITOR_FONT_ZOOM_IN_COMMAND
153 -- Command that increase editor font
154
155 editor_font_zoom_in_numpad_command: ES_EDITOR_FONT_ZOOM_IN_NUMPAD_COMMAND
156 -- Command that increase editor font
157
158 editor_font_zoom_out_command: EB_EDITOR_FONT_ZOOM_OUT_COMMAND
159 -- Command that decrease editor font
160
161 editor_font_zoom_out_numpad_command: ES_EDITOR_FONT_ZOOM_OUT_NUMPAD_COMMAND
162 -- Command that decrease editor font
163
164 editor_font_zoom_reset_command: EB_EDITOR_FONT_ZOOM_RESET_COMMAND
165 -- Command that reset editor font
166
167 editor_font_zoom_reset_numpad_command: ES_EDITOR_FONT_ZOOM_RESET_NUMPAD_COMMAND
168 -- Command that reset editor font
169
170 customized_formatter_command: EB_SETUP_CUSTOMIZED_FORMATTER_COMMAND
171 -- Command to setup customzied formatter
172
173 customized_tool_command: EB_SETUP_CUSTOMIZED_TOOL_COMMAND
174 -- Command to setup customzied formatter
175
176 go_to_next_error_command: ES_NEXT_ERROR_COMMAND
177 -- Go to next error command
178
179 go_to_previous_error_command: ES_PREVIOUS_ERROR_COMMAND
180 -- Go to previous error command
181
182 go_to_next_warning_command: ES_NEXT_WARNING_COMMAND
183 -- Go to next warningcommand
184
185 go_to_previous_warning_command: ES_PREVIOUS_WARNING_COMMAND
186 -- Go to previous warning command
187
188 apply_fix_command: ES_FIX_COMMAND
189 -- "Apply fix" command
190
191 edit_contracts_command: attached ES_EDIT_CONTRACTS_COMMAND
192 -- Edit contracts command
193
194 find_class_or_cluster_command: attached ES_FIND_CLASS_OR_CLUSTER_CMD
195 -- Command used to locate a class or cluster
196
197 -- eve_proofs_command: attached EB_EVE_PROOFS_COMMAND
198 -- -- EVE Proofs command
199
200 javascript_compile_command: attached EB_JAVASCRIPT_COMPILE_COMMAND
201 -- JavaScript compile command
202
203 feature -- Commands
204
205 toolbarable_commands: ARRAYED_LIST [EB_TOOLBARABLE_COMMAND]
206 -- All commands that can be put in a toolbar
207
208 show_shell_tool_commands: HASH_TABLE [ES_SHOW_TOOL_COMMAND, ES_TOOL [EB_TOOL]]
209 -- Commands to show/hide a tool
210
211 editor_commands: ARRAYED_LIST [EB_GRAPHICAL_COMMAND]
212 -- Commands independent on the editor
213
214 focus_commands: ARRAYED_LIST [EB_CLOSE_PANEL_COMMAND]
215 -- Commands related with focus in/out actions
216
217 show_toolbar_commands: HASH_TABLE [EB_SHOW_TOOLBAR_COMMAND, SD_TOOL_BAR_CONTENT]
218 -- Commands to show/hide a toolbar
219
220 simple_shortcut_commands: ARRAYED_LIST [EB_SIMPLE_SHORTCUT_COMMAND]
221 -- Simple shortcut commands
222
223 feature {EB_DEVELOPMENT_WINDOW_BUILDER, EB_DEVELOPMENT_WINDOW_TOOLBAR_BUILDER, EB_DEVELOPMENT_WINDOW} -- Settings
224
225 set_save_as_cmd (a_cmd: like save_as_cmd)
226 -- Set `save_as_cmd'
227 do
228 save_as_cmd := a_cmd
229 ensure
230 set: save_as_cmd = a_cmd
231 end
232
233 feature {EB_DEVELOPMENT_WINDOW_BUILDER, EB_DEVELOPMENT_WINDOW_TOOLBAR_BUILDER} -- Settings
234
235 set_toolbarable_commands (a_commands: like toolbarable_commands)
236 -- Set `toolbarable_commands'.
237 do
238 toolbarable_commands := a_commands
239 ensure
240 set: toolbarable_commands = a_commands
241 end
242
243 set_new_tab_cmd (a_cmd: like new_tab_cmd)
244 -- Set `new_tab_cmd'
245 do
246 new_tab_cmd := a_cmd
247 ensure
248 set: new_tab_cmd = a_cmd
249 end
250
251 set_editor_cut_cmd (a_cmd: like editor_cut_cmd)
252 -- Set `editor_cut_cmd'
253 do
254 editor_cut_cmd := a_cmd
255 ensure
256 set: editor_cut_cmd = a_cmd
257 end
258
259 set_editor_copy_cmd (a_cmd: like editor_copy_cmd)
260 -- Set `editor_copy_cmd'
261 do
262 editor_copy_cmd := a_cmd
263 ensure
264 set: editor_copy_cmd = a_cmd
265 end
266
267 set_shell_cmd (a_cmd: like shell_cmd)
268 -- Set `shell_cmd;
269 do
270 shell_cmd := a_cmd
271 ensure
272 set: shell_cmd = a_cmd
273 end
274
275 set_print_cmd (a_cmd: like print_cmd)
276 -- Set `print_cmd'
277 do
278 print_cmd := a_cmd
279 ensure
280 set: print_cmd = a_cmd
281 end
282
283 set_c_workbench_compilation_cmd (a_cmd: like c_workbench_compilation_cmd)
284 -- Set `c_workbench_compilation_cmd'
285 do
286 c_workbench_compilation_cmd := a_cmd
287 ensure
288 set: c_workbench_compilation_cmd = a_cmd
289 end
290
291 set_c_finalized_compilation_cmd (a_cmd: like c_finalized_compilation_cmd)
292 -- Set `c_finalized_compilation_cmd'
293 do
294 c_finalized_compilation_cmd := a_cmd
295 ensure
296 set: c_finalized_compilation_cmd = a_cmd
297 end
298
299 set_undo_cmd (a_cmd: like undo_cmd)
300 -- Set `undo_cmd'
301 do
302 undo_cmd := a_cmd
303 ensure
304 set: undo_cmd = a_cmd
305 end
306
307 set_redo_cmd (a_cmd: like redo_cmd)
308 -- Set `redo_cmd'
309 do
310 redo_cmd := a_cmd
311 ensure
312 set: redo_cmd = a_cmd
313 end
314
315 set_editor_paste_cmd (a_cmd: like editor_paste_cmd)
316 -- Set `editor_paste_cmd'
317 do
318 editor_paste_cmd := a_cmd
319 ensure
320 set: editor_paste_cmd = a_cmd
321 end
322
323 set_new_cluster_cmd (a_cmd: like new_cluster_cmd)
324 -- Set `new_cluster_cmd'
325 do
326 new_cluster_cmd := a_cmd
327 ensure
328 set: new_cluster_cmd = a_cmd
329 end
330
331 set_new_library_cmd (a_cmd: like new_library_cmd)
332 -- Set `new_library_cmd'
333 do
334 new_library_cmd := a_cmd
335 ensure
336 set: new_library_cmd = a_cmd
337 end
338
339 set_new_assembly_cmd (a_cmd: like new_assembly_cmd)
340 -- Set `new_assembly_cmd'
341 do
342 new_assembly_cmd := a_cmd
343 ensure
344 set: new_assembly_cmd = a_cmd
345 end
346
347 set_new_class_cmd (a_cmd: like new_class_cmd)
348 -- Set `new_class_cmd'
349 do
350 new_class_cmd := a_cmd
351 ensure
352 set: new_class_cmd = a_cmd
353 end
354
355 set_delete_class_cluster_cmd (a_cmd: like delete_class_cluster_cmd)
356 -- Set `delete_class_cluster_cmd"
357 do
358 delete_class_cluster_cmd := a_cmd
359 ensure
360 set: delete_class_cluster_cmd = a_cmd
361 end
362
363 set_new_feature_cmd (a_cmd: like new_feature_cmd)
364 -- Set `new_feature_cmd'
365 do
366 new_feature_cmd := a_cmd
367 ensure
368 set: new_feature_cmd = a_cmd
369 end
370
371 set_toggle_stone_cmd (a_cmd: like toggle_stone_cmd)
372 -- Set `toggle_stone_cmd'
373 do
374 toggle_stone_cmd := a_cmd
375 ensure
376 set: toggle_stone_cmd = a_cmd
377 end
378
379 set_system_info_cmd (a_cmd: like system_info_cmd)
380 -- Set `system_info_cmd'
381 do
382 system_info_cmd := a_cmd
383 ensure
384 set: system_info_cmd = a_cmd
385 end
386
387 set_send_stone_to_context_cmd (a_cmd: like send_stone_to_context_cmd)
388 -- Set `send_stone_to_context_cmd'
389 do
390 send_stone_to_context_cmd := a_cmd
391 ensure
392 set: send_stone_to_context_cmd = a_cmd
393 end
394
395 set_show_profiler (a_cmd: like show_profiler)
396 -- Set `show_profiler'
397 do
398 show_profiler := a_cmd
399 ensure
400 set: show_profiler = a_cmd
401 end
402
403 set_show_shell_tool_commands (a_commands: like show_shell_tool_commands)
404 -- Set `show_tool_commands'
405 do
406 show_shell_tool_commands := a_commands
407 ensure
408 set: show_shell_tool_commands = a_commands
409 end
410
411 set_show_toolbar_commands (a_commands: like show_toolbar_commands)
412 -- Set `show_toolbar_commands'
413 do
414 show_toolbar_commands := a_commands
415 ensure
416 set: show_toolbar_commands = a_commands
417 end
418
419 set_editor_commands (a_commands: like editor_commands)
420 -- Set `editor_commands'
421 do
422 editor_commands := a_commands
423 ensure
424 set: editor_commands = a_commands
425 end
426
427 set_focus_commands (a_commands: like focus_commands)
428 -- Set `focus_commands'
429 do
430 focus_commands := a_commands
431 ensure
432 set: focus_commands = a_commands
433 end
434
435 set_reset_layout_command (a_cmd: like reset_layout_command)
436 -- Set `reset_layout_command'
437 do
438 reset_layout_command := a_cmd
439 ensure
440 set: reset_layout_command = a_cmd
441 end
442
443 set_save_layout_as_command (a_cmd: like save_layout_as_command)
444 -- Set `save_layout_as_command'
445 do
446 save_layout_as_command := a_cmd
447 ensure
448 set: save_layout_as_command = a_cmd
449 end
450
451 set_simple_shortcut_commands (a_cmd: like simple_shortcut_commands)
452 -- Set `save_layout_as_command'
453 do
454 simple_shortcut_commands := a_cmd
455 ensure
456 set: simple_shortcut_commands = a_cmd
457 end
458
459 set_lock_tool_bar_command (a_cmd: like lock_tool_bar_command)
460 -- Set `lock_tool_bar_command'
461 do
462 lock_tool_bar_command := a_cmd
463 ensure
464 set: lock_tool_bar_command = a_cmd
465 end
466
467 set_lock_docking_command (a_cmd: like lock_docking_command)
468 -- Set `lock_docking_command'
469 do
470 lock_docking_command := a_cmd
471 ensure
472 set: lock_docking_command = a_cmd
473 end
474
475 set_lock_editor_docking_command (a_cmd: like lock_editor_docking_command)
476 -- Set `lock_docking_command'
477 do
478 lock_editor_docking_command := a_cmd
479 ensure
480 set: lock_editor_docking_command = a_cmd
481 end
482
483 set_maximize_editor_area_command (a_cmd: like maximize_editor_area_command)
484 -- Set `maximize_editor_area_command'
485 do
486 maximize_editor_area_command := a_cmd
487 ensure
488 set: maximize_editor_area_command = a_cmd
489 end
490
491 set_minimize_editor_area_command (a_cmd: like minimize_editor_area_command)
492 -- Set `minimize_editor_area_command'
493 do
494 minimize_editor_area_command := a_cmd
495 ensure
496 set: minimize_editor_area_command = a_cmd
497 end
498
499 set_restore_editor_area_command (a_cmd: like restore_editor_area_command)
500 -- Set `restore_editor_area_command'
501 do
502 restore_editor_area_command := a_cmd
503 ensure
504 set: restore_editor_area_command = a_cmd
505 end
506
507 set_minimize_editors_command (a_cmd: like minimize_editors_command)
508 -- Set `minimize_editors_command'
509 do
510 minimize_editors_command := a_cmd
511 ensure
512 set: minimize_editors_command = a_cmd
513 end
514
515 set_restore_editors_command (a_cmd: like restore_editors_command)
516 -- Set `restore_editors_command'
517 do
518 restore_editors_command := a_cmd
519 ensure
520 set: restore_editors_command = a_cmd
521 end
522
523 set_edit_bp_here_command (a_cmd: like edit_bp_here_command)
524 -- Set `edit_bp_here_command'
525 do
526 edit_bp_here_command := a_cmd
527 ensure
528 set: edit_bp_here_command = a_cmd
529 end
530
531 set_enable_remove_bp_here_command (a_cmd: like enable_remove_bp_here_command)
532 -- Set `enable_bp_here_command'
533 do
534 enable_remove_bp_here_command := a_cmd
535 ensure
536 set: enable_remove_bp_here_command = a_cmd
537 end
538
539 set_enable_disable_bp_here_command (a_cmd: like enable_disable_bp_here_command)
540 -- Set `enable_disable_bp_here_command'
541 do
542 enable_disable_bp_here_command := a_cmd
543 ensure
544 set: enable_disable_bp_here_command = a_cmd
545 end
546
547 set_run_to_this_point_command (a_cmd: like run_to_this_point_command)
548 -- Set `run_to_this_point_command'
549 do
550 run_to_this_point_command := a_cmd
551 ensure
552 set: run_to_this_point_command = a_cmd
553 end
554
555 set_close_current_panel_command (a_cmd: like close_current_panel_command)
556 -- Set `close_current_panel_command'
557 do
558 close_current_panel_command := a_cmd
559 ensure
560 set: close_current_panel_command = a_cmd
561 end
562
563 set_close_all_tab_command (a_cmd: like close_all_tab_command)
564 -- Set `close_all_tab_command'
565 do
566 close_all_tab_command := a_cmd
567 ensure
568 set: close_all_tab_command = a_cmd
569 end
570
571 set_close_all_but_current_command (a_cmd: like close_all_but_current_command)
572 -- Set `close_all_but_current_command'
573 do
574 close_all_but_current_command := a_cmd
575 ensure
576 set: close_all_but_current_command = a_cmd
577 end
578
579 set_close_all_but_unsaved_command (a_cmd: like close_all_but_unsaved_command)
580 -- Set `close_all_but_unsaved_command'
581 do
582 close_all_but_unsaved_command := a_cmd
583 ensure
584 set: close_all_but_unsaved_command = a_cmd
585 end
586
587 set_close_all_empty_tab_command (a_cmd: like close_all_empty_tab_command)
588 -- Set `close_all_empty_tab_command'
589 do
590 close_all_empty_tab_command := a_cmd
591 ensure
592 set: close_all_empty_tab_command = a_cmd
593 end
594
595 set_editor_font_zoom_in_command (a_cmd: like editor_font_zoom_in_command)
596 -- Set `editor_font_zoom_in_command'
597 do
598 editor_font_zoom_in_command := a_cmd
599 ensure
600 set: editor_font_zoom_in_command = a_cmd
601 end
602
603 set_editor_font_zoom_in_numpad_command (a_cmd: like editor_font_zoom_in_numpad_command)
604 -- Set `editor_font_zoom_in_numpad_command'
605 do
606 editor_font_zoom_in_numpad_command := a_cmd
607 ensure
608 set: editor_font_zoom_in_numpad_command = a_cmd
609 end
610
611 set_editor_font_zoom_out_command (a_cmd: like editor_font_zoom_out_command)
612 -- Set `editor_font_zoom_out_command'
613 do
614 editor_font_zoom_out_command := a_cmd
615 ensure
616 set: editor_font_zoom_out_command = a_cmd
617 end
618
619 set_editor_font_zoom_out_numpad_command (a_cmd: like editor_font_zoom_out_numpad_command)
620 -- Set `editor_font_zoom_out_numpad_command'
621 do
622 editor_font_zoom_out_numpad_command := a_cmd
623 ensure
624 set: editor_font_zoom_out_numpad_command = a_cmd
625 end
626
627 set_editor_font_zoom_reset_command (a_cmd: like editor_font_zoom_reset_command)
628 -- Set `editor_font_zoom_reset_command'
629 do
630 editor_font_zoom_reset_command := a_cmd
631 ensure
632 set: editor_font_zoom_reset_command = a_cmd
633 end
634
635 set_editor_font_zoom_reset_numpad_command (a_cmd: like editor_font_zoom_reset_numpad_command)
636 -- Set `editor_font_zoom_reset_numpad_command'
637 do
638 editor_font_zoom_reset_numpad_command := a_cmd
639 ensure
640 set: editor_font_zoom_reset_numpad_command = a_cmd
641 end
642
643 set_customized_formatter_command (a_cmd: like customized_formatter_command)
644 -- Set `customized_formatter_command' with `a_cmd'.
645 do
646 customized_formatter_command := a_cmd
647 ensure
648 customized_formatter_command_set: customized_formatter_command = a_cmd
649 end
650
651 set_customized_tool_command (a_cmd: like customized_tool_command)
652 -- Set `customized_tool_command' with `a_cmd'.
653 do
654 customized_tool_command := a_cmd
655 ensure
656 customized_tool_command_set: customized_tool_command = a_cmd
657 end
658
659 set_go_to_next_error_command (a_command: like go_to_next_error_command)
660 -- Sets `go_to_next_error_command' with `a_command'
661 do
662 go_to_next_error_command := a_command
663 ensure
664 go_to_next_error_command_set: go_to_next_error_command = a_command
665 end
666
667 set_go_to_previous_error_command (a_command: like go_to_previous_error_command)
668 -- Sets `go_to_previous_error_command' with `a_command'
669 do
670 go_to_previous_error_command := a_command
671 ensure
672 go_to_previous_error_command_set: go_to_previous_error_command = a_command
673 end
674
675 set_go_to_next_warning_command (a_command: like go_to_next_warning_command)
676 -- Sets `go_to_next_warning_command' with `a_command'
677 do
678 go_to_next_warning_command := a_command
679 ensure
680 go_to_next_warning_command_set: go_to_next_warning_command = a_command
681 end
682
683 set_go_to_previous_warning_command (a_command: like go_to_previous_warning_command)
684 -- Sets `go_to_previous_warning_command' with `a_command'
685 do
686 go_to_previous_warning_command := a_command
687 ensure
688 go_to_previous_warning_command_set: go_to_previous_warning_command = a_command
689 end
690
691 set_apply_fix_command (a_command: like apply_fix_command)
692 -- Sets `apply_fix_command' with `a_command'.
693 do
694 apply_fix_command := a_command
695 ensure
696 apply_fix_command_set: apply_fix_command = a_command
697 end
698
699 set_edit_contracts_command (a_command: like edit_contracts_command)
700 -- Sets `edit_contracts_command' with `a_command'
701 do
702 edit_contracts_command := a_command
703 ensure
704 edit_contracts_command_set: edit_contracts_command = a_command
705 end
706
707 set_find_class_or_cluster_command (a_command: like find_class_or_cluster_command)
708 -- Sets `find_class_or_cluster_command' with `a_command'.
709 do
710 find_class_or_cluster_command := a_command
711 ensure
712 find_class_or_cluster_command_set: find_class_or_cluster_command = a_command
713 end
714
715 set_javascript_compile_command (a_command: like javascript_compile_command)
716 -- Sets `javascript_compile_command' with `a_command'
717 do
718 javascript_compile_command := a_command
719 ensure
720 javascript_compile_command_set: javascript_compile_command = a_command
721 end
722
723 feature -- Recycle
724
725 internal_recycle
726 -- Recycle all commands.
727 local
728 os_cmd: EB_ON_SELECTION_COMMAND
729 l_recyclable: EB_RECYCLABLE
730 do
731 new_tab_cmd.recycle
732 reset_layout_command.recycle
733 save_layout_as_command.recycle
734 lock_docking_command.recycle
735 lock_editor_docking_command.recycle
736 maximize_editor_area_command.recycle
737 minimize_editor_area_command.recycle
738 restore_editor_area_command.recycle
739 lock_tool_bar_command.recycle
740 save_as_cmd.recycle
741
742 edit_bp_here_command.recycle
743 enable_remove_bp_here_command.recycle
744 enable_disable_bp_here_command.recycle
745 run_to_this_point_command.recycle
746
747 editor_font_zoom_in_command.recycle
748 editor_font_zoom_in_numpad_command.recycle
749 editor_font_zoom_out_command.recycle
750 editor_font_zoom_out_numpad_command.recycle
751 editor_font_zoom_reset_command.recycle
752 editor_font_zoom_reset_numpad_command.recycle
753
754 c_finalized_compilation_cmd.recycle
755 c_workbench_compilation_cmd.recycle
756 editor_cut_cmd.recycle
757 editor_copy_cmd.recycle
758 editor_paste_cmd.recycle
759 new_class_cmd.recycle
760 new_cluster_cmd.recycle
761 new_library_cmd.recycle
762 new_assembly_cmd.recycle
763 new_feature_cmd.recycle
764 shell_cmd.recycle
765 undo_cmd.recycle
766 redo_cmd.recycle
767 toggle_stone_cmd.recycle
768 delete_class_cluster_cmd.recycle
769 print_cmd.recycle
770
771 go_to_next_error_command.recycle
772 go_to_previous_error_command.recycle
773 go_to_next_warning_command.recycle
774 go_to_previous_warning_command.recycle
775
776 from
777 toolbarable_commands.start
778 until
779 toolbarable_commands.after
780 loop
781 os_cmd ?= toolbarable_commands.item
782 if os_cmd /= Void then
783 os_cmd.recycle
784 end
785 toolbarable_commands.forth
786 end
787
788 from
789 show_toolbar_commands.start
790 until
791 show_toolbar_commands.after
792 loop
793 show_toolbar_commands.item_for_iteration.recycle
794 show_toolbar_commands.forth
795 end
796 show_toolbar_commands := Void
797
798 from
799 editor_commands.start
800 until
801 editor_commands.after
802 loop
803 l_recyclable ?= editor_commands.item
804 if l_recyclable /= Void then
805 l_recyclable.recycle
806 end
807 editor_commands.forth
808 end
809 editor_commands := Void
810
811 from
812 focus_commands.start
813 until
814 focus_commands.after
815 loop
816 l_recyclable ?= focus_commands.item
817 if l_recyclable /= Void then
818 l_recyclable.recycle
819 end
820 focus_commands.forth
821 end
822 focus_commands := Void
823
824 c_finalized_compilation_cmd := Void
825 c_finalized_compilation_cmd := Void
826 new_class_cmd := Void
827 new_cluster_cmd := Void
828 new_feature_cmd := Void
829 shell_cmd := Void
830 undo_cmd := Void
831 redo_cmd := Void
832 toggle_stone_cmd := Void
833 delete_class_cluster_cmd := Void
834 print_cmd := Void
835 go_to_next_error_command := Void
836 go_to_previous_error_command := Void
837 go_to_next_warning_command := Void
838 go_to_previous_warning_command := Void
839 apply_fix_command := Void
840
841 Precursor {EB_DEVELOPMENT_WINDOW_PART}
842 end
843
844 note
845 copyright: "Copyright (c) 1984-2013, Eiffel Software"
846 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
847 licensing_options: "http://www.eiffel.com/licensing"
848 copying: "[
849 This file is part of Eiffel Software's Eiffel Development Environment.
850
851 Eiffel Software's Eiffel Development Environment is free
852 software; you can redistribute it and/or modify it under
853 the terms of the GNU General Public License as published
854 by the Free Software Foundation, version 2 of the License
855 (available at the URL listed under "license" above).
856
857 Eiffel Software's Eiffel Development Environment is
858 distributed in the hope that it will be useful, but
859 WITHOUT ANY WARRANTY; without even the implied warranty
860 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
861 See the GNU General Public License for more details.
862
863 You should have received a copy of the GNU General Public
864 License along with Eiffel Software's Eiffel Development
865 Environment; if not, write to the Free Software Foundation,
866 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
867 ]"
868 source: "[
869 Eiffel Software
870 5949 Hollister Ave., Goleta, CA 93117 USA
871 Telephone 805-685-1006, Fax 805-685-6869
872 Website http://www.eiffel.com
873 Customer support http://support.eiffel.com
874 ]"
875
876 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23