-
Notifications
You must be signed in to change notification settings - Fork 112
Expand file tree
/
Copy patheditor.hpp
More file actions
725 lines (679 loc) · 43.7 KB
/
Copy patheditor.hpp
File metadata and controls
725 lines (679 loc) · 43.7 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
/******************************************************************************
* MODULE : editor.hpp
* DESCRIPTION: abstract TeXmacs editors
* COPYRIGHT : (C) 1999 Joris van der Hoeven
*******************************************************************************
* This software falls under the GNU general public license version 3 or later.
* It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
* in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
******************************************************************************/
#ifndef EDITOR_H
#define EDITOR_H
#include "config.h"
#include "new_data.hpp"
#include "server.hpp"
#include "tree_select.hpp"
#include "typesetter.hpp"
#include <moebius/drd/drd_info.hpp>
#ifdef AQUATEXMACS
#include "Cocoa/aqua_simple_widget.h"
#endif
#ifdef QTTEXMACS
#include "Qt/qt_simple_widget.hpp"
#elif defined(MOGAN_CLI)
#include "CLI/cli_simple_widget.hpp"
#else
#include "ImGui/im_simple_widget.hpp"
#endif
#define TEXMACS_COPYRIGHT \
(string ("(c) 1999-2020 by Joris van der Hoeven and others"))
#define THE_CURSOR 1
#define THE_FOCUS 2
#define THE_TREE 4
#define THE_ENVIRONMENT 8
#define THE_SELECTION 16
#define THE_DECORATIONS 32
#define THE_EXTENTS 64
#define THE_LOCUS 128
#define THE_MENUS 256
#define THE_FREEZE 512
// Menu rebuild categories (bit mask for update_menus)
#define MENU_MAIN 1
#define ICONS_MAIN 2
#define ICONS_MODE 4
#define ICONS_FOCUS 8
#define ICONS_EXTRA 16
#define TAB_PAGES 32
#define NOTIFICATION 64
#define SIDE_TOOLS 128
#define MENU_ALL 255
class tm_buffer_rep;
class tm_view_rep;
class server_rep;
typedef tm_buffer_rep* tm_buffer;
typedef tm_view_rep* tm_view;
class modification;
class editor;
extern bool enable_fastenv;
class editor_rep : public simple_widget_rep {
public:
server_rep* sv; // the underlying texmacs server
widget_rep* cvw; // non reference counted canvas widget
tm_view_rep* mvw; // master view
protected:
tm_buffer buf; // the underlying buffer
drd_info drd; // the drd for the buffer
tree& et; // all TeXmacs trees
box eb; // box translation of tree
path rp; // path to the root of the document in et
path tp; // path of cursor in tree
bool user_active; // is the user active ?
string detected_format= "verbatim";
/* exchanging information with the interface */
virtual void get_selection (path& start, path& end)= 0;
virtual void set_selection (path start, path end) = 0;
virtual cursor& the_cursor () = 0;
virtual cursor& the_ghost_cursor () = 0;
/* exchanging information with the typesetter */
virtual typesetter get_typesetter () = 0;
virtual hashmap<string, tree> get_init () = 0;
virtual hashmap<string, tree> get_fin () = 0;
virtual hashmap<string, tree> get_ref () = 0;
virtual hashmap<string, tree> get_aux () = 0;
virtual hashmap<string, tree> get_att () = 0;
virtual void set_init (hashmap<string, tree> H= tree ("?"))= 0;
virtual void add_init (hashmap<string, tree> H) = 0;
virtual void set_fin (hashmap<string, tree> H) = 0;
virtual void set_ref (hashmap<string, tree> H) = 0;
virtual void set_aux (hashmap<string, tree> H) = 0;
virtual void set_att (hashmap<string, tree> H) = 0;
/* exchanging property information */
virtual void set_bool_property (string what, bool val) = 0;
virtual void set_int_property (string what, int val) = 0;
virtual void set_string_property (string what, string val)= 0;
virtual bool get_bool_property (string what) = 0;
virtual int get_int_property (string what) = 0;
virtual string get_string_property (string what) = 0;
protected:
/* protected routines from edit_typeset */
virtual void typeset_preamble () = 0;
virtual void typeset_invalidate_env () = 0;
virtual void typeset (SI& x1, SI& y1, SI& x2, SI& y2)= 0;
/* protected subroutines for deletion of content */
virtual void back_around (tree t, path p, bool forward) = 0;
virtual void back_prime (tree t, path p, bool forward) = 0;
virtual void back_in_around (tree t, path p, bool forward) = 0;
virtual void back_in_long_arrow (tree t, path p, bool forward)= 0;
virtual void back_in_wide (tree t, path p, bool forward) = 0;
virtual void back_in_tree (tree t, path p, bool forward) = 0;
virtual void pre_remove_around (path p) = 0;
virtual void back_table (path p, bool forward) = 0;
virtual void back_in_table (tree t, path p, bool forward) = 0;
virtual void back_monolithic (path p) = 0;
virtual void back_general (path p, bool forward) = 0;
virtual void back_in_with (tree t, path p, bool forward) = 0;
virtual void back_in_general (tree t, path p, bool forward) = 0;
virtual void back_in_text_at (tree t, path p, bool forward) = 0;
/* other protected subroutines */
virtual tree kbd (string s) = 0;
virtual tree kbd_shortcut (string s) = 0;
virtual path tree_path (path sp, SI x, SI y, SI delta) = 0;
virtual void apply_changes () = 0;
virtual void animate () = 0;
virtual path search_format () = 0;
virtual path search_format (int& row, int& col) = 0;
virtual void table_get_extents (path fp, int& nr_rows, int& nr_cols) = 0;
virtual void table_bound (path fp, int& i1, int& j1, int& i2, int& j2) = 0;
virtual tree table_get_subtable (path p, int i1, int j1, int i2, int j2)= 0;
virtual void table_write_subtable (path fp, int row, int col, tree subt)= 0;
virtual void table_del_format (path fp, int I1, int J1, int I2, int J2,
string var) = 0;
virtual void table_insert (path fp, int row, int col, int nr_rows,
int nr_cols) = 0;
virtual void table_remove (path fp, int row, int col, int nr_rows,
int nr_cols) = 0;
public:
editor_rep ();
editor_rep (server_rep* sv, tm_buffer buf);
virtual ~editor_rep () {}
bool is_current_editor ();
/* public routines from edit_interface */
virtual void suspend () = 0;
virtual void resume () = 0;
virtual void keyboard_focus_on (string field) = 0;
virtual void update_menus () = 0;
virtual void update_menus (int mask) = 0;
virtual int get_pixel_size () = 0;
virtual SI get_visible_width () = 0;
virtual SI get_visible_height () = 0;
virtual SI get_window_width () = 0;
virtual SI get_window_height () = 0;
virtual SI get_window_x () = 0;
virtual SI get_window_y () = 0;
virtual SI get_canvas_x () = 0;
virtual SI get_canvas_y () = 0;
virtual SI get_scroll_x () = 0;
virtual SI get_scroll_y () = 0;
virtual void make_cursor_visible () = 0;
virtual void invalidate (SI x1, SI y1, SI x2, SI y2) = 0;
virtual void invalidate (rectangles rs) = 0;
virtual void invalidate_all () = 0;
virtual void invalidate_visible () = 0;
virtual void notify_change (int changed) = 0;
virtual bool has_changed (int question) = 0;
virtual int idle_time (int event_type= ANY_EVENT) = 0;
virtual int change_time () = 0;
virtual void full_screen_mode (bool flag) = 0;
virtual void before_menu_action () = 0;
virtual void after_menu_action () = 0;
virtual void cancel_menu_action () = 0;
virtual rectangle get_window_extents () = 0;
virtual cursor search_cursor (path p) = 0;
virtual selection search_selection (path start, path end) = 0;
virtual int get_input_mode () = 0;
virtual void set_input_mode (int mode) = 0;
virtual void set_input_normal () = 0;
virtual bool in_normal_mode () = 0;
virtual bool in_search_mode () = 0;
virtual bool in_replace_mode () = 0;
virtual bool in_spell_mode () = 0;
virtual void interrupt_shortcut () = 0;
virtual bool kbd_get_command (string cmd_s, string& help, command& cmd)= 0;
virtual void key_press (string key) = 0;
virtual void emulate_keyboard (string keys, string action= "") = 0;
virtual bool complete_try () = 0;
virtual void source_complete_try () = 0;
virtual void show_ghost_popup () = 0;
virtual void hide_ghost_popup () = 0;
virtual void show_diff_popup () = 0;
virtual void hide_diff_popup () = 0;
virtual void complete_start (string prefix, array<string> compls) = 0;
virtual bool complete_keypress (string key) = 0;
virtual bool source_complete_keypress (string key) = 0;
virtual string session_complete_command (tree t) = 0;
virtual void custom_complete (tree t) = 0;
virtual void mouse_any (string s, SI x, SI y, int m, time_t t,
array<double> d) = 0;
virtual bool mouse_message (string message, SI x, SI y) = 0;
virtual color mouse_clickable_color () = 0;
virtual void mouse_click (SI x, SI y) = 0;
virtual bool mouse_extra_click (SI x, SI y) = 0;
virtual void mouse_drag (SI x, SI y) = 0;
virtual void mouse_select (SI x, SI y, int mods, bool drag) = 0;
virtual void mouse_paste (SI x, SI y) = 0;
virtual void mouse_adjust (SI x, SI y, int mods) = 0;
virtual void mouse_adjust_selection (SI x, SI y, int mods) = 0;
virtual void mouse_scroll (SI x, SI y, bool up) = 0;
virtual cursor get_cursor () = 0;
virtual array<SI> get_mouse_position () = 0;
virtual void set_pointer (string name) = 0;
virtual void set_pointer (string curs_name, string mask_name) = 0;
virtual void set_cursor_style (string style_name) = 0;
virtual void set_message (tree l, tree r= "", bool temp= false) = 0;
virtual void recall_message () = 0;
virtual void set_user_active (bool b) = 0;
virtual bool get_user_active () = 0;
virtual bool is_pre_editing () { return false; }
/* public routines from edit_cursor */
virtual path make_cursor_accessible (path p, bool forwards)= 0;
virtual bool cursor_is_accessible () = 0;
virtual void show_cursor_if_hidden () = 0;
virtual void go_to (SI x, SI y, bool absolute= true) = 0;
virtual void go_left_physical () = 0;
virtual void go_right_physical () = 0;
virtual void go_left () = 0;
virtual void go_right () = 0;
virtual void go_up () = 0;
virtual void go_down () = 0;
virtual void go_start_line () = 0;
virtual void go_end_line () = 0;
virtual void go_page_up () = 0;
virtual void go_page_down () = 0;
virtual void go_to (path p) = 0;
virtual void go_to_correct (path p) = 0;
virtual void go_to_start (path p) = 0;
virtual void go_to_end (path p) = 0;
virtual void go_to_border (path p, bool at_start) = 0;
virtual void go_to_here () = 0;
virtual void go_start () = 0;
virtual void go_end () = 0;
virtual void go_start_of (tree_label what) = 0;
virtual void go_end_of (tree_label what) = 0;
virtual void go_start_with (string var, string val) = 0;
virtual void go_end_with (string var, string val) = 0;
virtual void go_start_paragraph () = 0;
virtual void go_end_paragraph () = 0;
virtual path search_label (string s, bool local= false) = 0;
virtual void go_to_label (string s) = 0;
virtual tree get_labels () = 0;
/* public routines from edit_graphics */
virtual bool inside_graphics (bool b= true) = 0;
virtual bool inside_active_graphics (bool b= true) = 0;
virtual bool over_graphics (SI x, SI y) = 0;
virtual tree get_graphics () = 0;
virtual double get_x () = 0;
virtual double get_y () = 0;
virtual double get_pixel () = 0;
virtual frame find_frame (bool last= false) = 0;
virtual grid find_grid () = 0;
virtual void find_limits (point& lim1, point& lim2) = 0;
virtual bool find_graphical_region (SI& x1, SI& y1, SI& x2, SI& y2) = 0;
virtual point adjust (point p) = 0;
virtual tree find_point (point p) = 0;
virtual tree graphical_select (double x, double y) = 0;
virtual tree graphical_select (double x1, double y1, double x2, double y2)= 0;
virtual tree get_graphical_object () = 0;
virtual void set_graphical_object (tree t) = 0;
virtual void invalidate_graphical_object () = 0;
virtual void draw_graphical_object (renderer ren) = 0;
virtual bool mouse_graphics (string s, SI x, SI y, int mods, time_t t,
array<double> d) = 0;
/* public routines from edit_typeset */
virtual void clear_local_info () = 0;
virtual void set_data (new_data data) = 0;
virtual void get_data (new_data& data) = 0;
virtual SI as_length (string l) = 0;
virtual string add_lengths (string l1, string l2) = 0;
virtual string sub_lengths (string l1, string l2) = 0;
virtual string max_lengths (string l1, string l2) = 0;
virtual string min_lengths (string l1, string l2) = 0;
virtual string multiply_length (double x, string l) = 0;
virtual bool is_length (string s) = 0;
virtual double divide_lengths (string l1, string l2) = 0;
virtual void init_update () = 0;
virtual void drd_update () = 0;
virtual tree get_full_env () = 0;
virtual bool defined_at_cursor (string var_name) = 0;
virtual bool defined_at_init (string var_name) = 0;
virtual bool defined_in_init (string var_name) = 0;
virtual tree get_env_value (string var_name, path p) = 0;
virtual tree get_env_value (string var_name) = 0;
virtual tree get_init_value (string var_name) = 0;
virtual string get_env_string (string var_name) = 0;
virtual string get_init_string (string var_name) = 0;
virtual int get_env_int (string var_name) = 0;
virtual int get_init_int (string var_name) = 0;
virtual double get_env_double (string var_name) = 0;
virtual double get_init_double (string var_name) = 0;
virtual color get_env_color (string var_name) = 0;
virtual color get_init_color (string var_name) = 0;
virtual language get_env_language () = 0;
virtual string physical_font_for_string (string s) = 0;
virtual int get_page_count () = 0;
virtual string get_page_number_text (int page_index) = 0;
virtual int get_current_page () = 0;
virtual SI get_page_width (bool deco) = 0;
virtual SI get_pages_width (bool deco) = 0;
virtual SI get_page_height (bool deco) = 0;
virtual SI get_total_width (bool deco) = 0;
virtual SI get_total_height (bool deco) = 0;
virtual tree exec_texmacs (tree t, path p) = 0;
virtual tree exec_texmacs (tree t) = 0;
virtual tree exec_verbatim (tree t, path p) = 0;
virtual tree exec_verbatim (tree t) = 0;
virtual tree exec_html (tree t, path p) = 0;
virtual tree exec_html (tree t) = 0;
virtual tree exec_latex (tree t, path p) = 0;
virtual tree exec_latex (tree t) = 0;
virtual tree texmacs_exec (tree t) = 0;
virtual tree var_texmacs_exec (tree t) = 0;
virtual tree checkout_animation (tree t) = 0;
virtual tree commit_animation (tree t) = 0;
virtual tree get_style () = 0;
virtual void set_style (tree t) = 0;
virtual void init_style () = 0;
virtual void init_style (string style) = 0;
virtual void change_style (tree style) = 0;
virtual tree get_init_all () = 0;
virtual void init_env (string var, tree by) = 0;
virtual void init_default (string var) = 0;
virtual tree get_ref (string key) = 0;
virtual tree get_aux (string key) = 0;
virtual tree get_att (string key) = 0;
virtual void set_ref (string key, tree im) = 0;
virtual void set_aux (string key, tree im) = 0;
virtual void set_att (string key, tree im) = 0;
virtual void reset_ref (string key) = 0;
virtual void reset_aux (string key) = 0;
virtual void reset_att (string key) = 0;
virtual array<string> find_refs (string val, bool global= false) = 0;
virtual array<string> list_refs (bool global= false) = 0;
virtual array<string> list_auxs (bool global= false) = 0;
virtual array<string> list_atts (bool global= false) = 0;
virtual void typeset_forced () = 0;
virtual void typeset_invalidate (path p) = 0;
virtual void typeset_invalidate_all () = 0;
virtual void typeset_invalidate_players (path p, bool reattach)= 0;
/* public routines from edit_modify */
virtual void notify_assign (path p, tree u) = 0;
virtual void notify_insert (path p, tree u) = 0;
virtual void notify_remove (path p, int nr) = 0;
virtual void notify_split (path p) = 0;
virtual void notify_join (path p) = 0;
virtual void notify_assign_node (path p, tree_label op)= 0;
virtual void notify_insert_node (path p, tree t) = 0;
virtual void notify_remove_node (path p) = 0;
virtual void notify_set_cursor (path p, tree data) = 0;
virtual void post_notify (path p) = 0;
virtual void clear_undo_history () = 0;
virtual double this_author () = 0;
virtual void archive_state () = 0;
virtual void start_editing () = 0;
virtual void end_editing () = 0;
virtual void cancel_editing () = 0;
virtual void start_slave (double a) = 0;
virtual void mark_start (double a) = 0;
virtual bool mark_cancel (double a) = 0;
virtual void mark_end (double a) = 0;
virtual void add_undo_mark () = 0;
virtual void remove_undo_mark () = 0;
virtual int undo_possibilities () = 0;
virtual void unredoable_undo () = 0;
virtual void undo (int i= 0) = 0;
virtual int redo_possibilities () = 0;
virtual void redo (int i= 0) = 0;
virtual void require_save () = 0;
virtual void notify_save (bool real_save= true) = 0;
virtual bool need_save (bool real_save= true) = 0;
virtual void show_history () = 0;
virtual observer position_new (path p) = 0;
virtual void position_delete (observer o) = 0;
virtual void position_set (observer o, path p) = 0;
virtual path position_get (observer o) = 0;
/* public routines from edit_text */
virtual void correct (path p) = 0;
virtual void correct_concat (path p, int done= 0) = 0;
virtual bool insert_return () = 0;
virtual void remove_return (path p) = 0;
virtual void insert_tree (tree t, path p_in_t) = 0;
virtual void var_insert_tree (tree t, path p_in_t)= 0;
virtual void insert_tree (tree t) = 0;
virtual void remove_text (bool forward) = 0;
virtual void remove_structure (bool forward) = 0;
virtual void remove_structure_upwards () = 0;
virtual void make_space (tree t) = 0;
virtual void make_space (string w) = 0;
virtual void make_space (string w, string y1, string y2) = 0;
virtual void make_hspace (string s) = 0;
virtual void make_hspace (string smin, string sdef, string smax) = 0;
virtual void make_vspace_before (string s) = 0;
virtual void make_vspace_before (string smin, string sdef, string smax)= 0;
virtual void make_vspace_after (string s) = 0;
virtual void make_vspace_after (string smin, string sdef, string smax) = 0;
virtual void make_htab (string spc) = 0;
virtual void make_image (string file_name, bool link, string w, string h,
string x, string y) = 0;
/* public routines from edit_math */
virtual void make_rigid () = 0;
virtual void make_lprime (string s) = 0;
virtual void make_rprime (string s) = 0;
virtual void make_below () = 0;
virtual void make_above () = 0;
virtual void make_script (bool sup, bool right)= 0;
virtual void make_fraction () = 0;
virtual void make_sqrt () = 0;
virtual void make_var_sqrt () = 0;
virtual void make_wide (string wide) = 0;
virtual void make_wide_under (string wide) = 0;
virtual void make_neg () = 0;
virtual void make_tree () = 0;
/* public routines from edit_table */
virtual void make_table (int nr_rows= 1, int nr_cols= 1) = 0;
virtual void make_subtable (int nr_rows= 1, int nr_cols= 1) = 0;
virtual void table_deactivate () = 0;
virtual void table_extract_format () = 0;
virtual void table_insert_row (bool forward) = 0;
virtual void table_insert_column (bool forward) = 0;
virtual void table_remove_row (bool forward, bool flag= false) = 0;
virtual void table_remove_column (bool forward, bool flag= false)= 0;
virtual int table_nr_rows () = 0;
virtual int table_nr_columns () = 0;
virtual array<int> table_get_extents () = 0;
virtual void table_set_extents (int rows, int cols) = 0;
virtual int table_which_row () = 0;
virtual int table_which_column () = 0;
virtual array<int> table_which_cells () = 0;
virtual path table_search_cell (int row, int col) = 0;
virtual void table_go_to (int row, int col) = 0;
virtual void table_set_format (string var, tree val) = 0;
virtual tree table_get_format () = 0;
virtual string table_get_format (string var) = 0;
virtual void table_del_format (string var= "") = 0;
virtual void table_format_center () = 0;
virtual void table_row_decoration (bool forward) = 0;
virtual void table_column_decoration (bool forward) = 0;
virtual void table_correct_block_content () = 0;
virtual void table_resize_notify () = 0;
virtual void set_cell_mode (string mode) = 0;
virtual string get_cell_mode () = 0;
virtual void cell_set_format (string var, tree val) = 0;
virtual string cell_get_format (string var) = 0;
virtual void cell_del_format (string var= "") = 0;
virtual void table_test () = 0;
/* public routines from edit_dynamic */
virtual bool in_source () = 0;
virtual path find_dynamic (path p) = 0;
virtual void make_compound (tree_label l, int n= -1) = 0;
virtual void activate () = 0;
virtual void go_to_argument (path p, bool start_flag) = 0;
virtual void insert_argument (path p, bool forward) = 0;
virtual void insert_argument (bool forward) = 0;
virtual void remove_empty_argument (path p, bool forward)= 0;
virtual void remove_argument (path p, bool forward) = 0;
virtual void remove_argument (bool forward) = 0;
virtual void make_with (string var, string val) = 0;
virtual void insert_with (path p, string var, tree val) = 0;
virtual void remove_with (path p, string var) = 0;
virtual void make_mod_active (tree_label l) = 0;
virtual void make_style_with (string var, string val) = 0;
virtual void make_hybrid () = 0;
virtual bool activate_latex () = 0;
virtual void activate_hybrid (bool with_args_hint) = 0;
virtual void activate_symbol () = 0;
virtual bool make_return_before () = 0;
virtual bool make_return_after () = 0;
virtual void temp_proof_fix () = 0;
/* public routines from edit_process */
virtual void generate_bibliography (string bib, string sty, string fname)= 0;
virtual void generate_table_of_contents (string toc) = 0;
virtual void generate_index (string idx) = 0;
virtual void generate_glossary (string glo) = 0;
virtual void generate_aux (string which= "") = 0;
virtual bool get_save_aux () = 0;
/* public routines from edit_select */
virtual path semantic_root (path p) = 0;
virtual bool semantic_active (path p) = 0;
virtual bool semantic_select (path p, path& q1, path& q2, int mode)= 0;
virtual void select (path p) = 0;
virtual void select (path start, path end) = 0;
virtual void select_all () = 0;
virtual void select_all_correct (int n) = 0;
virtual void select_line () = 0;
virtual void select_from_cursor () = 0;
virtual void select_from_cursor_if_active () = 0;
virtual void select_from_keyboard (bool flag)= 0;
virtual void select_from_shift_keyboard () = 0;
virtual void select_enlarge_text () = 0;
virtual void select_enlarge () = 0;
virtual void select_enlarge_environmental () = 0;
virtual bool selection_active_any () = 0;
virtual bool selection_active_normal () = 0;
virtual bool selection_active_table (bool strict= true)= 0;
virtual bool selection_active_small () = 0;
virtual bool selection_active_enlarging () = 0;
virtual void selection_raw_set (string key, tree t) = 0;
virtual tree selection_raw_get (string key) = 0;
virtual void selection_correct (path i1, path i2, path& o1, path& o2) = 0;
virtual path selection_get_subtable (int& i1, int& j1, int& i2, int& j2) = 0;
virtual selection compute_selection (path p1, path p2) = 0;
virtual selection compute_selection (range_set sel) = 0;
virtual void selection_get (selection& sel) = 0;
virtual void selection_get (path& start, path& end) = 0;
virtual path selection_get_start () = 0;
virtual path selection_get_end () = 0;
virtual path selection_var_get_start () = 0;
virtual path selection_var_get_end () = 0;
virtual path selection_get_path () = 0;
virtual path selection_get_cursor_path () = 0;
virtual tree selection_get_env_value (string var) = 0;
virtual tree selection_get (string key) = 0;
virtual void selection_set (string key, tree t, bool persistant= false)= 0;
virtual void selection_set (tree t) = 0;
virtual void selection_set_start (path p= path ()) = 0;
virtual void selection_set_end (path p= path ()) = 0;
virtual void selection_set_paths (path start, path end) = 0;
virtual void selection_set_range_set (range_set sel) = 0;
virtual void selection_copy (string key= "primary") = 0;
virtual void selection_paste (string key= "primary") = 0;
virtual void selection_clear (string key= "primary") = 0;
virtual void selection_cancel () = 0;
virtual void selection_set_import (string fm) = 0;
virtual void selection_set_export (string fm) = 0;
virtual string selection_get_import () = 0;
virtual string selection_get_export () = 0;
virtual tree selection_get () = 0;
virtual void selection_cut (string key= "primary") = 0;
virtual tree selection_get_cut () = 0;
virtual void selection_move () = 0;
virtual void cut (path p) = 0;
virtual void cut (path start, path end) = 0;
virtual path manual_focus_get () = 0;
virtual void manual_focus_set (path p, bool force= true)= 0;
virtual void manual_focus_release () = 0;
virtual path focus_get (bool skip_flag= true) = 0;
virtual void set_alt_selection (string s, range_set sel) = 0;
virtual range_set get_alt_selection (string s) = 0;
virtual string get_alt_selection_index (string s, string action)= 0;
virtual void cancel_alt_selection (string s) = 0;
virtual void cancel_alt_selections () = 0;
/* public routines from edit_replace */
virtual bool inside (string what) = 0;
virtual bool inside (tree_label l) = 0;
virtual bool inside_with (string var, string val) = 0;
virtual string inside_which (tree t) = 0;
virtual path search_upwards (string what) = 0;
virtual path search_upwards (tree_label l) = 0;
virtual path search_parent_upwards (tree_label l) = 0;
virtual path search_parent_upwards (tree_label l, int& last) = 0;
virtual path search_upwards_with (string var, string val) = 0;
virtual path search_upwards_in_set (tree t) = 0;
virtual path search_previous_compound (path init, string which) = 0;
virtual path search_next_compound (path init, string which) = 0;
virtual void search_start (bool forward= true) = 0;
virtual void search_button_next () = 0;
virtual bool search_keypress (string s) = 0;
virtual void replace_start (tree what, tree by, bool forward= true)= 0;
virtual bool replace_keypress (string s) = 0;
virtual void spell_start () = 0;
virtual void spell_replace (string by) = 0;
virtual bool spell_keypress (string s) = 0;
/* public routines from edit_main */
virtual void set_property (scheme_tree what, scheme_tree val) = 0;
virtual scheme_tree get_property (scheme_tree what) = 0;
virtual void clear_buffer () = 0;
virtual void new_window () = 0;
virtual void clone_window () = 0;
virtual void tex_buffer () = 0;
virtual url get_name () = 0;
virtual void focus_on_this_editor () = 0;
virtual void notify_page_change () = 0;
virtual string get_metadata (string kind) = 0;
virtual int nr_pages () = 0;
virtual void print_doc (url ps_name, bool to_file, int first, int last) = 0;
virtual void render_to_images (url dest, double zoomf) = 0;
virtual void print_to_file (url ps_name, string first= "1",
string last= "1000000") = 0;
virtual void print_buffer (string first= "1", string last= "1000000") = 0;
virtual void export_ps (url ps_name, string first= "1",
string last= "1000000") = 0;
virtual array<int> print_snippet (url u, tree t, bool conserve_preamble)= 0;
virtual bool graphics_file_to_clipboard (url output) = 0;
virtual void footer_eval (string s) = 0;
virtual tree the_line () = 0;
virtual tree the_root () = 0;
virtual tree the_buffer () = 0;
virtual bool test_subtree (path p) = 0;
virtual tree the_subtree (path p) = 0;
virtual path the_path () = 0;
virtual path the_shifted_path () = 0;
virtual path the_buffer_path () = 0;
virtual void show_tree () = 0;
virtual void show_box () = 0;
virtual void show_env () = 0;
virtual void show_path () = 0;
virtual void show_cursor () = 0;
virtual void show_selection () = 0;
virtual void show_meminfo () = 0;
virtual void edit_special () = 0;
#ifdef LORO_ENABLED
virtual void mirror_loro (const modification& mod)= 0;
virtual void apply_remote (string bytes) = 0;
virtual void ensure_loro_seeded () = 0;
// 远端 update 到达后，把 meta section（style/initial/...）回写 buf->data。
virtual void apply_remote_meta ()= 0;
// ensure_loro_seeded 末尾调用：把本地缺失的 meta section 灌入 CRDT。
virtual void loro_seed_local_meta ()= 0;
// 本地 meta 改动镜像到 CRDT（由 edit_typeset 的 setter 调用，受
// applying_remote 守卫）。
virtual void mirror_meta_if_active (string section) = 0;
virtual void collab_snapshot_cursor () = 0;
virtual void collab_restore_cursor (bool apply= true)= 0;
virtual void queue_remote (string raw_mod) = 0;
virtual void apply_queued_remote () = 0;
#endif
virtual void collab_enable () = 0; // 留在 LORO_ENABLED 条件外，由编译宏控制。
virtual bool collab_enabled ()= 0; // 这是为了保证 glue 生成过程中能找到实现
/** 远程 peer 光标（多光标协作）。位置以 TreeID+偏移编码进不透明 payload 串
*（由 collab_cursor_payload 产生），传输层不解析；本端在 set_remote_cursor
* 解码、在 get_remote_cursors（重绘时）解析回当前 buffer 的 path 供渲染。 */
struct remote_cursor_view {
string peer; // 远端 peer id
path caret; // 已解析到当前 buffer 的插入符绝对 path（nil=不可定位）
path sel_start; // 选区起绝对 path
path sel_end; // 选区止绝对 path（== sel_start 表示无选区）
};
virtual void set_remote_cursor (string peer, string payload) {}
virtual array<remote_cursor_view> get_remote_cursors () {
return array<remote_cursor_view> ();
}
virtual string collab_cursor_payload () { return ""; }
/** 本地光标/选区变化时由 edit_cursor/edit_select 调用，通知协作层「光标脏」
* 待节流上行。默认空；edit_modify 在 LORO_ENABLED 下覆写并加 applying 守卫。
*/
virtual void collab_cursor_moved_hook () {}
friend class tm_window_rep;
friend class tm_server_rep;
friend class server_command_rep;
friend void edit_announce (editor_rep* ed, modification mod);
friend void edit_done (editor_rep* ed, modification mod);
friend string get_editor_status_report ();
friend void tm_failure (const char* msg);
friend void set_buffer_tree (url name, tree doc);
friend void set_current_view (url u);
friend void set_current_drd (url name);
friend void focus_on_editor (editor ed);
friend void delete_view (url u);
};
template <> void tm_delete<editor_rep> (editor_rep* ptr);
class editor {
EXTEND_NULL (widget, editor);
public:
inline bool operator== (editor w) { return rep == w.rep; }
inline bool operator!= (editor w) { return rep != w.rep; }
friend class editor_rep;
};
EXTEND_NULL_CODE (widget, editor);
editor new_editor (server_rep* sv, tm_buffer buf);
#define SERVER(cmd) \
{ \
url temp= get_current_view_safe (); \
focus_on_this_editor (); \
sv->cmd; \
set_current_view (temp); \
}
path find_left_bracket (path p, const string& lbr, const string& rbr);
path find_right_bracket (path p, const string& lbr, const string& rbr);
array<string> as_completions (hashset<string> h);
array<string> close_completions (array<string> a);
array<string> strip_completions (array<string> a, string prefix);
#endif // defined EDITOR_H