4
4
* DESCRIPTION: abstract TeXmacs editors
5
5
* COPYRIGHT : (C) 1999 Joris van der Hoeven
6
6
*******************************************************************************
7
* This software falls under the GNU general public license and comes WITHOUT
8
* ANY WARRANTY WHATSOEVER. See the file $TEXMACS_PATH/LICENSE for more details.
9
* If you don't have this file, write to the Free Software Foundation, Inc.,
10
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
7
* This software falls under the GNU general public license version 3 or later.
8
* It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
9
* in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
11
10
******************************************************************************/
144
143
virtual bool complete_try () = 0;
145
144
virtual void complete_start (string prefix, array<string> compls) = 0;
146
145
virtual bool complete_keypress (string key) = 0;
146
virtual bool session_complete_try (tree t) = 0;
147
147
virtual void mouse_any (string s, SI x, SI y, int mods, time_t t) = 0;
148
148
virtual void mouse_click (SI x, SI y) = 0;
149
149
virtual bool mouse_extra_click (SI x, SI y) = 0;
254
254
virtual void typeset_invalidate_all () = 0;
256
256
/* public routines from edit_modify */
257
virtual void assign (path p, tree u) = 0;
258
virtual void insert (path p, tree u) = 0;
259
virtual void remove (path p, int nr) = 0;
260
virtual void split (path p) = 0;
261
virtual void join (path p) = 0;
262
virtual void assign_node (path p, tree_label op) = 0;
263
virtual void insert_node (path p, tree t) = 0;
264
virtual void remove_node (path p) = 0;
265
virtual void finished (path p) = 0;
266
257
virtual void notify_assign (path p, tree u) = 0;
267
258
virtual void notify_insert (path p, tree u) = 0;
268
259
virtual void notify_remove (path p, int nr) = 0;
381
372
virtual void temp_proof_fix () = 0;
383
374
/* public routines from edit_process */
384
virtual void process_mutators () = 0;
385
virtual path get_mutator_path () = 0;
386
virtual time_t get_mutator_time () = 0;
387
virtual void invalidate_mutators () = 0;
388
virtual void insert_mutator (tree body, string cmd) = 0;
390
virtual void make_session (string lan, string session) = 0;
391
virtual void start_input (string lan, string session, path p) = 0;
392
virtual void process_input () = 0;
393
virtual void start_output () = 0;
394
virtual void session_message (string l, string r) = 0;
395
virtual void session_use_math_input (bool flag) = 0;
396
virtual bool session_is_using_math_input () = 0;
397
virtual int status_connection () = 0;
398
virtual bool busy_connection () = 0;
399
virtual void interrupt_connection () = 0;
400
virtual void stop_connection () = 0;
402
virtual void session_go_up () = 0;
403
virtual void session_go_down () = 0;
404
virtual void session_go_page_up () = 0;
405
virtual void session_go_page_down () = 0;
406
virtual void session_remove (bool forward) = 0;
407
virtual void session_insert_text_field () = 0;
408
virtual void session_insert_input_below () = 0;
409
virtual void session_insert_input_above () = 0;
410
virtual void session_fold_input () = 0;
411
virtual void session_remove_input (bool forward) = 0;
412
virtual void session_remove_all_outputs () = 0;
413
virtual void session_remove_previous_output () = 0;
414
virtual void session_split () = 0;
415
virtual bool session_complete_try () = 0;
417
375
virtual void generate_bibliography (string bib, string sty, string fname)= 0;
418
376
virtual void generate_table_of_contents (string toc) = 0;
419
377
virtual void generate_index (string idx) = 0;
430
388
virtual void select_from_cursor_if_active () = 0;
431
389
virtual void select_from_keyboard (bool flag) = 0;
432
390
virtual void select_from_shift_keyboard () = 0;
391
virtual void select_enlarge_text () = 0;
433
392
virtual void select_enlarge () = 0;
434
393
virtual void select_enlarge_environmental () = 0;