File tree
6 files changed
+113
-54
lines changed- src/packages/frontend/frame-editors
- code-editor
- frame-tree
- commands
- latex-editor
6 files changed
+113
-54
lines changedLines changed: 19 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
805 | 805 |
| |
806 | 806 |
| |
807 | 807 |
| |
808 |
| - | |
809 |
| - | |
| 808 | + | |
| 809 | + | |
| 810 | + | |
810 | 811 |
| |
811 | 812 |
| |
812 | 813 |
| |
813 | 814 |
| |
814 | 815 |
| |
| 816 | + | |
| 817 | + | |
| 818 | + | |
| 819 | + | |
815 | 820 |
| |
816 | 821 |
| |
817 | 822 |
| |
| |||
846 | 851 |
| |
847 | 852 |
| |
848 | 853 |
| |
849 |
| - | |
850 |
| - | |
| 854 | + | |
| 855 | + | |
851 | 856 |
| |
852 |
| - | |
853 |
| - | |
854 | 857 |
| |
855 | 858 |
| |
856 | 859 |
| |
| |||
868 | 871 |
| |
869 | 872 |
| |
870 | 873 |
| |
| 874 | + | |
| 875 | + | |
| 876 | + | |
| 877 | + | |
| 878 | + | |
| 879 | + | |
| 880 | + | |
| 881 | + | |
| 882 | + | |
| 883 | + | |
871 | 884 |
| |
872 | 885 |
| |
873 | 886 |
| |
|
Lines changed: 69 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
| |
| 24 | + | |
24 | 25 |
| |
25 | 26 |
| |
26 | 27 |
| |
| |||
1310 | 1311 |
| |
1311 | 1312 |
| |
1312 | 1313 |
| |
1313 |
| - | |
1314 | 1314 |
| |
1315 | 1315 |
| |
| 1316 | + | |
| 1317 | + | |
| 1318 | + | |
| 1319 | + | |
1316 | 1320 |
| |
1317 | 1321 |
| |
1318 | 1322 |
| |
| |||
1329 | 1333 |
| |
1330 | 1334 |
| |
1331 | 1335 |
| |
1332 |
| - | |
1333 |
| - | |
1334 |
| - | |
1335 |
| - | |
1336 |
| - | |
| 1336 | + | |
| 1337 | + | |
| 1338 | + | |
| 1339 | + | |
| 1340 | + | |
| 1341 | + | |
| 1342 | + | |
| 1343 | + | |
| 1344 | + | |
| 1345 | + | |
| 1346 | + | |
| 1347 | + | |
| 1348 | + | |
| 1349 | + | |
| 1350 | + | |
1337 | 1351 |
| |
1338 | 1352 |
| |
1339 | 1353 |
| |
| |||
1343 | 1357 |
| |
1344 | 1358 |
| |
1345 | 1359 |
| |
1346 |
| - | |
| 1360 | + | |
1347 | 1361 |
| |
1348 | 1362 |
| |
1349 |
| - | |
| 1363 | + | |
1350 | 1364 |
| |
1351 |
| - | |
1352 |
| - | |
| 1365 | + | |
| 1366 | + | |
1353 | 1367 |
| |
1354 |
| - | |
1355 |
| - | |
| 1368 | + | |
| 1369 | + | |
1356 | 1370 |
| |
1357 | 1371 |
| |
1358 | 1372 |
| |
1359 | 1373 |
| |
1360 | 1374 |
| |
1361 | 1375 |
| |
| 1376 | + | |
| 1377 | + | |
| 1378 | + | |
| 1379 | + | |
| 1380 | + | |
| 1381 | + | |
| 1382 | + | |
| 1383 | + | |
| 1384 | + | |
| 1385 | + | |
| 1386 | + | |
| 1387 | + | |
| 1388 | + | |
| 1389 | + | |
| 1390 | + | |
| 1391 | + | |
| 1392 | + | |
| 1393 | + | |
| 1394 | + | |
| 1395 | + | |
| 1396 | + | |
| 1397 | + | |
| 1398 | + | |
| 1399 | + | |
| 1400 | + | |
| 1401 | + | |
| 1402 | + | |
| 1403 | + | |
| 1404 | + | |
| 1405 | + | |
| 1406 | + | |
| 1407 | + | |
| 1408 | + | |
| 1409 | + | |
| 1410 | + | |
| 1411 | + | |
| 1412 | + | |
| 1413 | + | |
| 1414 | + | |
| 1415 | + | |
| 1416 | + | |
| 1417 | + | |
| 1418 | + | |
1362 | 1419 |
| |
1363 | 1420 |
| |
1364 | 1421 |
| |
|
Lines changed: 6 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
326 | 326 |
| |
327 | 327 |
| |
328 | 328 |
| |
329 |
| - | |
| 329 | + | |
| 330 | + | |
| 331 | + | |
| 332 | + | |
| 333 | + | |
| 334 | + | |
330 | 335 |
| |
331 | 336 |
| |
332 | 337 |
| |
|
Lines changed: 14 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
57 | 57 |
| |
58 | 58 |
| |
59 | 59 |
| |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
| 70 | + | |
60 | 71 |
| |
61 | 72 |
| |
62 | 73 |
| |
| |||
89 | 100 |
| |
90 | 101 |
| |
91 | 102 |
| |
92 |
| - | |
| 103 | + | |
93 | 104 |
| |
94 | 105 |
| |
95 | 106 |
| |
| |||
98 | 109 |
| |
99 | 110 |
| |
100 | 111 |
| |
101 |
| - | |
| 112 | + | |
102 | 113 |
| |
103 | 114 |
| |
104 | 115 |
| |
105 | 116 |
| |
106 | 117 |
| |
107 |
| - | |
| 118 | + | |
108 | 119 |
| |
109 | 120 |
| |
110 | 121 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
14 |
| - | |
15 | 14 |
| |
16 | 15 |
| |
17 | 16 |
| |
|
Lines changed: 5 additions & 31 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
613 | 613 |
| |
614 | 614 |
| |
615 | 615 |
| |
616 |
| - | |
| 616 | + | |
617 | 617 |
| |
618 | 618 |
| |
619 | 619 |
| |
| |||
645 | 645 |
| |
646 | 646 |
| |
647 | 647 |
| |
648 |
| - | |
| 648 | + | |
649 | 649 |
| |
650 | 650 |
| |
651 | 651 |
| |
| |||
659 | 659 |
| |
660 | 660 |
| |
661 | 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 |
| - | |
| 662 | + | |
| 663 | + | |
| 664 | + | |
691 | 665 |
| |
692 | 666 |
| |
693 | 667 |
| |
|
0 commit comments