Mercurial > octave
annotate liboctave/util/cmd-edit.h @ 16539:8ea8df0747e9
make undo button and menu item work for command window
* main-window.h, main-window.cc (main_window::handle_undo_request,
main_window::command_window_undo_callback): New functions.
(main_window::construct_edit_menu): Connect _undo_action::triggered to
main_window::handle_undo_request.
* cmd-edit.h, cmd-edit.cc (command_window::redisplay,
command_window::do_redisplay, command_window::undo,
command_window::do_undo, gnu_readline::do_redisplay,
gnu_readline::do_undo): New functions.
* oct-rl-edit.h, oct-rl-edit.c (octave_rl_do_undo): New function.
| author | John W. Eaton <jwe@octave.org> |
|---|---|
| date | Thu, 18 Apr 2013 03:19:48 -0400 |
| parents | 106a38d7b396 |
| children | d5ae5aa80d42 |
| rev | line source |
|---|---|
| 2926 | 1 /* |
| 2 | |
|
14138
72c96de7a403
maint: update copyright notices for 2012
John W. Eaton <jwe@octave.org>
parents:
13983
diff
changeset
|
3 Copyright (C) 1996-2012 John W. Eaton |
| 2926 | 4 |
| 5 This file is part of Octave. | |
| 6 | |
| 7 Octave is free software; you can redistribute it and/or modify it | |
| 8 under the terms of the GNU General Public License as published by the | |
| 7016 | 9 Free Software Foundation; either version 3 of the License, or (at your |
| 10 option) any later version. | |
| 2926 | 11 |
| 12 Octave is distributed in the hope that it will be useful, but WITHOUT | |
| 13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 15 for more details. | |
| 16 | |
| 17 You should have received a copy of the GNU General Public License | |
| 7016 | 18 along with Octave; see the file COPYING. If not, see |
| 19 <http://www.gnu.org/licenses/>. | |
| 2926 | 20 |
| 21 */ | |
| 22 | |
| 23 #if !defined (octave_cmd_edit_h) | |
| 24 #define octave_cmd_edit_h 1 | |
| 25 | |
| 26 #include <cstdio> | |
| 27 | |
| 6913 | 28 #include <set> |
| 2926 | 29 #include <string> |
| 30 | |
| 4604 | 31 #include "str-vec.h" |
| 32 | |
| 2926 | 33 class |
| 6108 | 34 OCTAVE_API |
| 2926 | 35 command_editor |
| 36 { | |
| 37 protected: | |
| 38 | |
| 39 command_editor (void) | |
|
16382
389b09a914e2
allow gui to force readline to return from its idle/read loop
John W. Eaton <jwe@octave.org>
parents:
15271
diff
changeset
|
40 : command_number (0), interrupted (false) { } |
| 2926 | 41 |
| 42 public: | |
| 43 | |
| 4802 | 44 typedef int (*startup_hook_fcn) (void); |
| 3519 | 45 |
| 4802 | 46 typedef int (*event_hook_fcn) (void); |
| 2926 | 47 |
| 3504 | 48 typedef std::string (*completion_fcn) (const std::string&, int); |
| 2941 | 49 |
| 6979 | 50 typedef std::string (*quoting_fcn) (const std::string&, int, char); |
| 51 | |
| 52 typedef std::string (*dequoting_fcn) (const std::string&, int); | |
| 53 | |
| 54 typedef int (*char_is_quoted_fcn) (const std::string&, int); | |
| 55 | |
| 56 typedef void (*user_accept_line_fcn) (const std::string&); | |
| 57 | |
| 2926 | 58 virtual ~command_editor (void) { } |
| 59 | |
| 3504 | 60 static void set_name (const std::string& n); |
| 2926 | 61 |
| 3504 | 62 static std::string readline (const std::string& prompt); |
| 2926 | 63 |
| 3504 | 64 static std::string readline (const std::string& prompt, bool& eof); |
| 3219 | 65 |
| 2926 | 66 static void set_input_stream (FILE *f); |
| 67 | |
| 68 static FILE *get_input_stream (void); | |
| 69 | |
| 70 static void set_output_stream (FILE *f); | |
| 71 | |
| 72 static FILE *get_output_stream (void); | |
| 73 | |
|
16539
8ea8df0747e9
make undo button and menu item work for command window
John W. Eaton <jwe@octave.org>
parents:
16537
diff
changeset
|
74 static void redisplay (void); |
|
8ea8df0747e9
make undo button and menu item work for command window
John W. Eaton <jwe@octave.org>
parents:
16537
diff
changeset
|
75 |
| 2926 | 76 static int terminal_rows (void); |
| 77 | |
| 78 static int terminal_cols (void); | |
| 79 | |
|
16537
106a38d7b396
optionall disable redisplay in command editor clear screen function
John W. Eaton <jwe@octave.org>
parents:
16534
diff
changeset
|
80 static void clear_screen (bool skip_redisplay = false); |
| 2926 | 81 |
| 3281 | 82 static void resize_terminal (void); |
| 83 | |
| 3504 | 84 static std::string decode_prompt_string (const std::string& s); |
| 2926 | 85 |
| 86 static void restore_terminal_state (void); | |
| 87 | |
| 88 static void blink_matching_paren (bool flag); | |
| 89 | |
| 4055 | 90 static void set_basic_word_break_characters (const std::string& s); |
| 3933 | 91 |
| 4055 | 92 static void set_completer_word_break_characters (const std::string& s); |
| 3933 | 93 |
| 3504 | 94 static void set_basic_quote_characters (const std::string& s); |
| 2926 | 95 |
| 6979 | 96 static void set_filename_quote_characters (const std::string& s); |
| 97 | |
| 98 static void set_completer_quote_characters (const std::string& s); | |
| 99 | |
| 2926 | 100 static void set_completion_append_character (char c); |
| 101 | |
| 2941 | 102 static void set_completion_function (completion_fcn f); |
| 103 | |
| 6979 | 104 static void set_quoting_function (quoting_fcn f); |
| 105 | |
| 106 static void set_dequoting_function (dequoting_fcn f); | |
| 107 | |
| 108 static void set_char_is_quoted_function (char_is_quoted_fcn f); | |
| 109 | |
| 110 static void set_user_accept_line_function (user_accept_line_fcn f); | |
| 111 | |
| 2941 | 112 static completion_fcn get_completion_function (void); |
| 2926 | 113 |
| 6979 | 114 static quoting_fcn get_quoting_function (void); |
| 115 | |
| 116 static dequoting_fcn get_dequoting_function (void); | |
| 117 | |
| 118 static char_is_quoted_fcn get_char_is_quoted_function (void); | |
| 119 | |
| 120 static user_accept_line_fcn get_user_accept_line_function (void); | |
| 121 | |
| 4604 | 122 static string_vector generate_filename_completions (const std::string& text); |
| 123 | |
|
9485
3cee58bf4acf
selectively complete filenames in some cases
John W. Eaton <jwe@octave.org>
parents:
9321
diff
changeset
|
124 static std::string get_line_buffer (void); |
|
3cee58bf4acf
selectively complete filenames in some cases
John W. Eaton <jwe@octave.org>
parents:
9321
diff
changeset
|
125 |
| 3504 | 126 static void insert_text (const std::string& text); |
| 2926 | 127 |
| 128 static void newline (void); | |
| 129 | |
| 6979 | 130 static void accept_line (void); |
| 131 | |
|
16539
8ea8df0747e9
make undo button and menu item work for command window
John W. Eaton <jwe@octave.org>
parents:
16537
diff
changeset
|
132 static bool undo (void); |
|
8ea8df0747e9
make undo button and menu item work for command window
John W. Eaton <jwe@octave.org>
parents:
16537
diff
changeset
|
133 |
| 2926 | 134 static void clear_undo_list (void); |
| 135 | |
| 6913 | 136 static void add_startup_hook (startup_hook_fcn f); |
| 2926 | 137 |
| 6913 | 138 static void remove_startup_hook (startup_hook_fcn f); |
| 2926 | 139 |
| 6913 | 140 static void add_event_hook (event_hook_fcn f); |
| 3215 | 141 |
| 6913 | 142 static void remove_event_hook (event_hook_fcn f); |
| 3215 | 143 |
|
13924
3b654a0753b1
Implement waitfor, uiwait and uiresume.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
11586
diff
changeset
|
144 static void run_event_hooks (void); |
|
3b654a0753b1
Implement waitfor, uiwait and uiresume.
Michael Goffioul <michael.goffioul@gmail.com>
parents:
11586
diff
changeset
|
145 |
| 3504 | 146 static void read_init_file (const std::string& file = std::string ()); |
| 3189 | 147 |
|
7758
8e14a01ffe9f
input.cc (Fre_read_readline_init_file): new function
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
148 static void re_read_init_file (void); |
|
8e14a01ffe9f
input.cc (Fre_read_readline_init_file): new function
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
149 |
| 4143 | 150 static bool filename_completion_desired (bool); |
| 151 | |
| 6979 | 152 static bool filename_quoting_desired (bool); |
| 153 | |
|
16382
389b09a914e2
allow gui to force readline to return from its idle/read loop
John W. Eaton <jwe@octave.org>
parents:
15271
diff
changeset
|
154 static bool interrupt (bool); |
|
389b09a914e2
allow gui to force readline to return from its idle/read loop
John W. Eaton <jwe@octave.org>
parents:
15271
diff
changeset
|
155 |
| 2926 | 156 static int current_command_number (void); |
| 157 | |
| 158 static void reset_current_command_number (int n); | |
| 159 | |
| 2967 | 160 static void increment_current_command_number (void); |
| 161 | |
|
9321
9b87aeb24ea9
avoid using readline at all when line editing suppressed or interpreter embedded
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
162 static void force_default_editor (void); |
|
9b87aeb24ea9
avoid using readline at all when line editing suppressed or interpreter embedded
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
163 |
| 2926 | 164 private: |
| 165 | |
| 166 // No copying! | |
| 167 | |
| 168 command_editor (const command_editor&); | |
| 169 | |
| 170 command_editor& operator = (const command_editor&); | |
| 171 | |
| 172 static bool instance_ok (void); | |
| 173 | |
| 174 static void make_command_editor (void); | |
| 175 | |
| 6913 | 176 static int startup_handler (void); |
| 177 | |
| 178 static int event_handler (void); | |
| 179 | |
| 180 static std::set<startup_hook_fcn> startup_hook_set; | |
| 181 | |
| 182 static std::set<event_hook_fcn> event_hook_set; | |
| 183 | |
| 184 typedef std::set<startup_hook_fcn>::iterator startup_hook_set_iterator; | |
| 185 typedef std::set<startup_hook_fcn>::const_iterator startup_hook_set_const_iterator; | |
| 186 | |
| 187 typedef std::set<event_hook_fcn>::iterator event_hook_set_iterator; | |
| 188 typedef std::set<event_hook_fcn>::const_iterator event_hook_set_const_iterator; | |
| 189 | |
| 2926 | 190 // The real thing. |
| 191 static command_editor *instance; | |
| 192 | |
|
13983
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13924
diff
changeset
|
193 static void cleanup_instance (void) { delete instance; instance = 0; } |
|
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13924
diff
changeset
|
194 |
| 2926 | 195 protected: |
| 196 | |
| 197 // To use something other than the GNU readline library, derive a new | |
| 198 // class from command_editor, overload these functions as | |
| 199 // necessary, and make instance point to the new class. | |
| 200 | |
| 3504 | 201 virtual void do_set_name (const std::string&) { } |
| 2926 | 202 |
| 3504 | 203 std::string do_readline (const std::string& prompt) |
| 3219 | 204 { |
| 205 bool eof; | |
| 206 | |
| 207 return do_readline (prompt, eof); | |
| 208 } | |
| 209 | |
| 3504 | 210 virtual std::string do_readline (const std::string&, bool&) = 0; |
| 2926 | 211 |
| 212 virtual void do_set_input_stream (FILE *) = 0; | |
| 213 | |
| 214 virtual FILE *do_get_input_stream (void) = 0; | |
| 215 | |
| 216 virtual void do_set_output_stream (FILE *) = 0; | |
| 217 | |
| 218 virtual FILE *do_get_output_stream (void) = 0; | |
| 219 | |
|
16539
8ea8df0747e9
make undo button and menu item work for command window
John W. Eaton <jwe@octave.org>
parents:
16537
diff
changeset
|
220 virtual void do_redisplay (void) { } |
|
8ea8df0747e9
make undo button and menu item work for command window
John W. Eaton <jwe@octave.org>
parents:
16537
diff
changeset
|
221 |
| 2926 | 222 virtual int do_terminal_rows (void) { return 24; } |
| 223 | |
| 224 virtual int do_terminal_cols (void) { return 80; } | |
| 225 | |
|
16537
106a38d7b396
optionall disable redisplay in command editor clear screen function
John W. Eaton <jwe@octave.org>
parents:
16534
diff
changeset
|
226 virtual void do_clear_screen (bool) { } |
| 2926 | 227 |
| 3281 | 228 virtual void do_resize_terminal (void) { } |
| 229 | |
| 3504 | 230 virtual std::string do_decode_prompt_string (const std::string&); |
| 2926 | 231 |
|
11586
12df7854fa7c
strip trailing whitespace from source files
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
232 virtual std::string newline_chars (void) { return "\n"; } |
| 2926 | 233 |
| 234 virtual void do_restore_terminal_state (void) { } | |
| 235 | |
| 236 virtual void do_blink_matching_paren (bool) { } | |
| 237 | |
| 3933 | 238 virtual void do_set_basic_word_break_characters (const std::string&) { } |
| 239 | |
| 240 virtual void do_set_completer_word_break_characters (const std::string&) { } | |
| 241 | |
| 3504 | 242 virtual void do_set_basic_quote_characters (const std::string&) { } |
| 2926 | 243 |
| 6979 | 244 virtual void do_set_filename_quote_characters (const std::string&) { } |
| 245 | |
| 246 virtual void do_set_completer_quote_characters (const std::string&) { } | |
| 247 | |
| 2926 | 248 virtual void do_set_completion_append_character (char) { } |
| 249 | |
| 2941 | 250 virtual void do_set_completion_function (completion_fcn) { } |
| 251 | |
| 6979 | 252 virtual void do_set_quoting_function (quoting_fcn) { } |
| 253 | |
| 254 virtual void do_set_dequoting_function (dequoting_fcn) { } | |
| 255 | |
| 256 virtual void do_set_char_is_quoted_function (char_is_quoted_fcn) { } | |
| 257 | |
| 258 virtual void do_set_user_accept_line_function (user_accept_line_fcn) { } | |
| 259 | |
| 2941 | 260 virtual completion_fcn do_get_completion_function (void) const { return 0; } |
| 2926 | 261 |
| 6979 | 262 virtual quoting_fcn do_get_quoting_function (void) const { return 0; } |
| 263 | |
| 264 virtual dequoting_fcn do_get_dequoting_function (void) const { return 0; } | |
| 265 | |
| 266 virtual char_is_quoted_fcn do_get_char_is_quoted_function (void) const { return 0; } | |
| 267 | |
| 268 virtual user_accept_line_fcn do_get_user_accept_line_function (void) const { return 0; } | |
| 269 | |
| 4604 | 270 virtual string_vector do_generate_filename_completions (const std::string& text) = 0; |
| 271 | |
|
9485
3cee58bf4acf
selectively complete filenames in some cases
John W. Eaton <jwe@octave.org>
parents:
9321
diff
changeset
|
272 virtual std::string do_get_line_buffer (void) const = 0; |
|
3cee58bf4acf
selectively complete filenames in some cases
John W. Eaton <jwe@octave.org>
parents:
9321
diff
changeset
|
273 |
| 3504 | 274 virtual void do_insert_text (const std::string&) = 0; |
| 2926 | 275 |
| 276 virtual void do_newline (void) = 0; | |
| 277 | |
| 6979 | 278 virtual void do_accept_line (void) = 0; |
| 279 | |
|
16539
8ea8df0747e9
make undo button and menu item work for command window
John W. Eaton <jwe@octave.org>
parents:
16537
diff
changeset
|
280 virtual bool do_undo (void) { return false; } |
|
8ea8df0747e9
make undo button and menu item work for command window
John W. Eaton <jwe@octave.org>
parents:
16537
diff
changeset
|
281 |
| 2926 | 282 virtual void do_clear_undo_list (void) { } |
| 283 | |
| 6913 | 284 virtual void set_startup_hook (startup_hook_fcn) { } |
| 2926 | 285 |
| 6913 | 286 virtual void restore_startup_hook (void) { } |
| 2926 | 287 |
| 6913 | 288 virtual void set_event_hook (startup_hook_fcn) { } |
| 3215 | 289 |
| 6913 | 290 virtual void restore_event_hook (void) { } |
| 3215 | 291 |
| 3504 | 292 virtual void do_read_init_file (const std::string&) { } |
| 3189 | 293 |
|
7758
8e14a01ffe9f
input.cc (Fre_read_readline_init_file): new function
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
294 virtual void do_re_read_init_file (void) { } |
|
8e14a01ffe9f
input.cc (Fre_read_readline_init_file): new function
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
295 |
| 4143 | 296 virtual bool do_filename_completion_desired (bool) { return false; } |
| 297 | |
| 6979 | 298 virtual bool do_filename_quoting_desired (bool) { return false; } |
| 299 | |
|
16382
389b09a914e2
allow gui to force readline to return from its idle/read loop
John W. Eaton <jwe@octave.org>
parents:
15271
diff
changeset
|
300 virtual void do_interrupt (bool) { } |
|
389b09a914e2
allow gui to force readline to return from its idle/read loop
John W. Eaton <jwe@octave.org>
parents:
15271
diff
changeset
|
301 |
| 3504 | 302 int read_octal (const std::string& s); |
| 2926 | 303 |
| 304 void error (int); | |
| 305 | |
| 3504 | 306 void error (const std::string&); |
| 2926 | 307 |
| 308 // The current command number. | |
| 309 int command_number; | |
|
16382
389b09a914e2
allow gui to force readline to return from its idle/read loop
John W. Eaton <jwe@octave.org>
parents:
15271
diff
changeset
|
310 |
|
389b09a914e2
allow gui to force readline to return from its idle/read loop
John W. Eaton <jwe@octave.org>
parents:
15271
diff
changeset
|
311 bool interrupted; |
| 2926 | 312 }; |
| 313 | |
| 314 #endif |