@pie-element/math-templated 2.22.3-next.9 → 2.22.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +12 -0
- package/configure/CHANGELOG.md +11 -0
- package/configure/package.json +2 -2
- package/controller/CHANGELOG.md +11 -0
- package/controller/package.json +2 -2
- package/docs/config-schema.json +1205 -204
- package/docs/config-schema.json.md +744 -16
- package/docs/pie-schema.json +429 -0
- package/docs/pie-schema.json.md +312 -0
- package/module/configure.js +91 -154
- package/module/element.js +91 -154
- package/module/manifest.json +1 -1
- package/module/print.js +91 -154
- package/package.json +3 -3
package/docs/pie-schema.json
CHANGED
|
@@ -345,6 +345,149 @@
|
|
|
345
345
|
"title": "disabled"
|
|
346
346
|
}
|
|
347
347
|
}
|
|
348
|
+
},
|
|
349
|
+
"languageCharacters": {
|
|
350
|
+
"title": "EditableHtmlButtonConfigure",
|
|
351
|
+
"type": "object",
|
|
352
|
+
"properties": {
|
|
353
|
+
"disabled": {
|
|
354
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
355
|
+
"type": "boolean",
|
|
356
|
+
"title": "disabled"
|
|
357
|
+
}
|
|
358
|
+
}
|
|
359
|
+
},
|
|
360
|
+
"bold": {
|
|
361
|
+
"title": "EditableHtmlButtonConfigure",
|
|
362
|
+
"type": "object",
|
|
363
|
+
"properties": {
|
|
364
|
+
"disabled": {
|
|
365
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
366
|
+
"type": "boolean",
|
|
367
|
+
"title": "disabled"
|
|
368
|
+
}
|
|
369
|
+
}
|
|
370
|
+
},
|
|
371
|
+
"html": {
|
|
372
|
+
"title": "EditableHtmlButtonConfigure",
|
|
373
|
+
"type": "object",
|
|
374
|
+
"properties": {
|
|
375
|
+
"disabled": {
|
|
376
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
377
|
+
"type": "boolean",
|
|
378
|
+
"title": "disabled"
|
|
379
|
+
}
|
|
380
|
+
}
|
|
381
|
+
},
|
|
382
|
+
"italic": {
|
|
383
|
+
"title": "EditableHtmlButtonConfigure",
|
|
384
|
+
"type": "object",
|
|
385
|
+
"properties": {
|
|
386
|
+
"disabled": {
|
|
387
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
388
|
+
"type": "boolean",
|
|
389
|
+
"title": "disabled"
|
|
390
|
+
}
|
|
391
|
+
}
|
|
392
|
+
},
|
|
393
|
+
"ol_list": {
|
|
394
|
+
"title": "EditableHtmlButtonConfigure",
|
|
395
|
+
"type": "object",
|
|
396
|
+
"properties": {
|
|
397
|
+
"disabled": {
|
|
398
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
399
|
+
"type": "boolean",
|
|
400
|
+
"title": "disabled"
|
|
401
|
+
}
|
|
402
|
+
}
|
|
403
|
+
},
|
|
404
|
+
"redo": {
|
|
405
|
+
"title": "EditableHtmlButtonConfigure",
|
|
406
|
+
"type": "object",
|
|
407
|
+
"properties": {
|
|
408
|
+
"disabled": {
|
|
409
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
410
|
+
"type": "boolean",
|
|
411
|
+
"title": "disabled"
|
|
412
|
+
}
|
|
413
|
+
}
|
|
414
|
+
},
|
|
415
|
+
"strikethrough": {
|
|
416
|
+
"title": "EditableHtmlButtonConfigure",
|
|
417
|
+
"type": "object",
|
|
418
|
+
"properties": {
|
|
419
|
+
"disabled": {
|
|
420
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
421
|
+
"type": "boolean",
|
|
422
|
+
"title": "disabled"
|
|
423
|
+
}
|
|
424
|
+
}
|
|
425
|
+
},
|
|
426
|
+
"sub": {
|
|
427
|
+
"title": "EditableHtmlButtonConfigure",
|
|
428
|
+
"type": "object",
|
|
429
|
+
"properties": {
|
|
430
|
+
"disabled": {
|
|
431
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
432
|
+
"type": "boolean",
|
|
433
|
+
"title": "disabled"
|
|
434
|
+
}
|
|
435
|
+
}
|
|
436
|
+
},
|
|
437
|
+
"sup": {
|
|
438
|
+
"title": "EditableHtmlButtonConfigure",
|
|
439
|
+
"type": "object",
|
|
440
|
+
"properties": {
|
|
441
|
+
"disabled": {
|
|
442
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
443
|
+
"type": "boolean",
|
|
444
|
+
"title": "disabled"
|
|
445
|
+
}
|
|
446
|
+
}
|
|
447
|
+
},
|
|
448
|
+
"table": {
|
|
449
|
+
"title": "EditableHtmlButtonConfigure",
|
|
450
|
+
"type": "object",
|
|
451
|
+
"properties": {
|
|
452
|
+
"disabled": {
|
|
453
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
454
|
+
"type": "boolean",
|
|
455
|
+
"title": "disabled"
|
|
456
|
+
}
|
|
457
|
+
}
|
|
458
|
+
},
|
|
459
|
+
"ul_list": {
|
|
460
|
+
"title": "EditableHtmlButtonConfigure",
|
|
461
|
+
"type": "object",
|
|
462
|
+
"properties": {
|
|
463
|
+
"disabled": {
|
|
464
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
465
|
+
"type": "boolean",
|
|
466
|
+
"title": "disabled"
|
|
467
|
+
}
|
|
468
|
+
}
|
|
469
|
+
},
|
|
470
|
+
"underline": {
|
|
471
|
+
"title": "EditableHtmlButtonConfigure",
|
|
472
|
+
"type": "object",
|
|
473
|
+
"properties": {
|
|
474
|
+
"disabled": {
|
|
475
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
476
|
+
"type": "boolean",
|
|
477
|
+
"title": "disabled"
|
|
478
|
+
}
|
|
479
|
+
}
|
|
480
|
+
},
|
|
481
|
+
"undo": {
|
|
482
|
+
"title": "EditableHtmlButtonConfigure",
|
|
483
|
+
"type": "object",
|
|
484
|
+
"properties": {
|
|
485
|
+
"disabled": {
|
|
486
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
487
|
+
"type": "boolean",
|
|
488
|
+
"title": "disabled"
|
|
489
|
+
}
|
|
490
|
+
}
|
|
348
491
|
}
|
|
349
492
|
}
|
|
350
493
|
},
|
|
@@ -501,6 +644,149 @@
|
|
|
501
644
|
"title": "disabled"
|
|
502
645
|
}
|
|
503
646
|
}
|
|
647
|
+
},
|
|
648
|
+
"languageCharacters": {
|
|
649
|
+
"title": "EditableHtmlButtonConfigure",
|
|
650
|
+
"type": "object",
|
|
651
|
+
"properties": {
|
|
652
|
+
"disabled": {
|
|
653
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
654
|
+
"type": "boolean",
|
|
655
|
+
"title": "disabled"
|
|
656
|
+
}
|
|
657
|
+
}
|
|
658
|
+
},
|
|
659
|
+
"bold": {
|
|
660
|
+
"title": "EditableHtmlButtonConfigure",
|
|
661
|
+
"type": "object",
|
|
662
|
+
"properties": {
|
|
663
|
+
"disabled": {
|
|
664
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
665
|
+
"type": "boolean",
|
|
666
|
+
"title": "disabled"
|
|
667
|
+
}
|
|
668
|
+
}
|
|
669
|
+
},
|
|
670
|
+
"html": {
|
|
671
|
+
"title": "EditableHtmlButtonConfigure",
|
|
672
|
+
"type": "object",
|
|
673
|
+
"properties": {
|
|
674
|
+
"disabled": {
|
|
675
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
676
|
+
"type": "boolean",
|
|
677
|
+
"title": "disabled"
|
|
678
|
+
}
|
|
679
|
+
}
|
|
680
|
+
},
|
|
681
|
+
"italic": {
|
|
682
|
+
"title": "EditableHtmlButtonConfigure",
|
|
683
|
+
"type": "object",
|
|
684
|
+
"properties": {
|
|
685
|
+
"disabled": {
|
|
686
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
687
|
+
"type": "boolean",
|
|
688
|
+
"title": "disabled"
|
|
689
|
+
}
|
|
690
|
+
}
|
|
691
|
+
},
|
|
692
|
+
"ol_list": {
|
|
693
|
+
"title": "EditableHtmlButtonConfigure",
|
|
694
|
+
"type": "object",
|
|
695
|
+
"properties": {
|
|
696
|
+
"disabled": {
|
|
697
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
698
|
+
"type": "boolean",
|
|
699
|
+
"title": "disabled"
|
|
700
|
+
}
|
|
701
|
+
}
|
|
702
|
+
},
|
|
703
|
+
"redo": {
|
|
704
|
+
"title": "EditableHtmlButtonConfigure",
|
|
705
|
+
"type": "object",
|
|
706
|
+
"properties": {
|
|
707
|
+
"disabled": {
|
|
708
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
709
|
+
"type": "boolean",
|
|
710
|
+
"title": "disabled"
|
|
711
|
+
}
|
|
712
|
+
}
|
|
713
|
+
},
|
|
714
|
+
"strikethrough": {
|
|
715
|
+
"title": "EditableHtmlButtonConfigure",
|
|
716
|
+
"type": "object",
|
|
717
|
+
"properties": {
|
|
718
|
+
"disabled": {
|
|
719
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
720
|
+
"type": "boolean",
|
|
721
|
+
"title": "disabled"
|
|
722
|
+
}
|
|
723
|
+
}
|
|
724
|
+
},
|
|
725
|
+
"sub": {
|
|
726
|
+
"title": "EditableHtmlButtonConfigure",
|
|
727
|
+
"type": "object",
|
|
728
|
+
"properties": {
|
|
729
|
+
"disabled": {
|
|
730
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
731
|
+
"type": "boolean",
|
|
732
|
+
"title": "disabled"
|
|
733
|
+
}
|
|
734
|
+
}
|
|
735
|
+
},
|
|
736
|
+
"sup": {
|
|
737
|
+
"title": "EditableHtmlButtonConfigure",
|
|
738
|
+
"type": "object",
|
|
739
|
+
"properties": {
|
|
740
|
+
"disabled": {
|
|
741
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
742
|
+
"type": "boolean",
|
|
743
|
+
"title": "disabled"
|
|
744
|
+
}
|
|
745
|
+
}
|
|
746
|
+
},
|
|
747
|
+
"table": {
|
|
748
|
+
"title": "EditableHtmlButtonConfigure",
|
|
749
|
+
"type": "object",
|
|
750
|
+
"properties": {
|
|
751
|
+
"disabled": {
|
|
752
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
753
|
+
"type": "boolean",
|
|
754
|
+
"title": "disabled"
|
|
755
|
+
}
|
|
756
|
+
}
|
|
757
|
+
},
|
|
758
|
+
"ul_list": {
|
|
759
|
+
"title": "EditableHtmlButtonConfigure",
|
|
760
|
+
"type": "object",
|
|
761
|
+
"properties": {
|
|
762
|
+
"disabled": {
|
|
763
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
764
|
+
"type": "boolean",
|
|
765
|
+
"title": "disabled"
|
|
766
|
+
}
|
|
767
|
+
}
|
|
768
|
+
},
|
|
769
|
+
"underline": {
|
|
770
|
+
"title": "EditableHtmlButtonConfigure",
|
|
771
|
+
"type": "object",
|
|
772
|
+
"properties": {
|
|
773
|
+
"disabled": {
|
|
774
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
775
|
+
"type": "boolean",
|
|
776
|
+
"title": "disabled"
|
|
777
|
+
}
|
|
778
|
+
}
|
|
779
|
+
},
|
|
780
|
+
"undo": {
|
|
781
|
+
"title": "EditableHtmlButtonConfigure",
|
|
782
|
+
"type": "object",
|
|
783
|
+
"properties": {
|
|
784
|
+
"disabled": {
|
|
785
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
786
|
+
"type": "boolean",
|
|
787
|
+
"title": "disabled"
|
|
788
|
+
}
|
|
789
|
+
}
|
|
504
790
|
}
|
|
505
791
|
}
|
|
506
792
|
},
|
|
@@ -631,6 +917,149 @@
|
|
|
631
917
|
"title": "disabled"
|
|
632
918
|
}
|
|
633
919
|
}
|
|
920
|
+
},
|
|
921
|
+
"languageCharacters": {
|
|
922
|
+
"title": "EditableHtmlButtonConfigure",
|
|
923
|
+
"type": "object",
|
|
924
|
+
"properties": {
|
|
925
|
+
"disabled": {
|
|
926
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
927
|
+
"type": "boolean",
|
|
928
|
+
"title": "disabled"
|
|
929
|
+
}
|
|
930
|
+
}
|
|
931
|
+
},
|
|
932
|
+
"bold": {
|
|
933
|
+
"title": "EditableHtmlButtonConfigure",
|
|
934
|
+
"type": "object",
|
|
935
|
+
"properties": {
|
|
936
|
+
"disabled": {
|
|
937
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
938
|
+
"type": "boolean",
|
|
939
|
+
"title": "disabled"
|
|
940
|
+
}
|
|
941
|
+
}
|
|
942
|
+
},
|
|
943
|
+
"html": {
|
|
944
|
+
"title": "EditableHtmlButtonConfigure",
|
|
945
|
+
"type": "object",
|
|
946
|
+
"properties": {
|
|
947
|
+
"disabled": {
|
|
948
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
949
|
+
"type": "boolean",
|
|
950
|
+
"title": "disabled"
|
|
951
|
+
}
|
|
952
|
+
}
|
|
953
|
+
},
|
|
954
|
+
"italic": {
|
|
955
|
+
"title": "EditableHtmlButtonConfigure",
|
|
956
|
+
"type": "object",
|
|
957
|
+
"properties": {
|
|
958
|
+
"disabled": {
|
|
959
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
960
|
+
"type": "boolean",
|
|
961
|
+
"title": "disabled"
|
|
962
|
+
}
|
|
963
|
+
}
|
|
964
|
+
},
|
|
965
|
+
"ol_list": {
|
|
966
|
+
"title": "EditableHtmlButtonConfigure",
|
|
967
|
+
"type": "object",
|
|
968
|
+
"properties": {
|
|
969
|
+
"disabled": {
|
|
970
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
971
|
+
"type": "boolean",
|
|
972
|
+
"title": "disabled"
|
|
973
|
+
}
|
|
974
|
+
}
|
|
975
|
+
},
|
|
976
|
+
"redo": {
|
|
977
|
+
"title": "EditableHtmlButtonConfigure",
|
|
978
|
+
"type": "object",
|
|
979
|
+
"properties": {
|
|
980
|
+
"disabled": {
|
|
981
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
982
|
+
"type": "boolean",
|
|
983
|
+
"title": "disabled"
|
|
984
|
+
}
|
|
985
|
+
}
|
|
986
|
+
},
|
|
987
|
+
"strikethrough": {
|
|
988
|
+
"title": "EditableHtmlButtonConfigure",
|
|
989
|
+
"type": "object",
|
|
990
|
+
"properties": {
|
|
991
|
+
"disabled": {
|
|
992
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
993
|
+
"type": "boolean",
|
|
994
|
+
"title": "disabled"
|
|
995
|
+
}
|
|
996
|
+
}
|
|
997
|
+
},
|
|
998
|
+
"sub": {
|
|
999
|
+
"title": "EditableHtmlButtonConfigure",
|
|
1000
|
+
"type": "object",
|
|
1001
|
+
"properties": {
|
|
1002
|
+
"disabled": {
|
|
1003
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
1004
|
+
"type": "boolean",
|
|
1005
|
+
"title": "disabled"
|
|
1006
|
+
}
|
|
1007
|
+
}
|
|
1008
|
+
},
|
|
1009
|
+
"sup": {
|
|
1010
|
+
"title": "EditableHtmlButtonConfigure",
|
|
1011
|
+
"type": "object",
|
|
1012
|
+
"properties": {
|
|
1013
|
+
"disabled": {
|
|
1014
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
1015
|
+
"type": "boolean",
|
|
1016
|
+
"title": "disabled"
|
|
1017
|
+
}
|
|
1018
|
+
}
|
|
1019
|
+
},
|
|
1020
|
+
"table": {
|
|
1021
|
+
"title": "EditableHtmlButtonConfigure",
|
|
1022
|
+
"type": "object",
|
|
1023
|
+
"properties": {
|
|
1024
|
+
"disabled": {
|
|
1025
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
1026
|
+
"type": "boolean",
|
|
1027
|
+
"title": "disabled"
|
|
1028
|
+
}
|
|
1029
|
+
}
|
|
1030
|
+
},
|
|
1031
|
+
"ul_list": {
|
|
1032
|
+
"title": "EditableHtmlButtonConfigure",
|
|
1033
|
+
"type": "object",
|
|
1034
|
+
"properties": {
|
|
1035
|
+
"disabled": {
|
|
1036
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
1037
|
+
"type": "boolean",
|
|
1038
|
+
"title": "disabled"
|
|
1039
|
+
}
|
|
1040
|
+
}
|
|
1041
|
+
},
|
|
1042
|
+
"underline": {
|
|
1043
|
+
"title": "EditableHtmlButtonConfigure",
|
|
1044
|
+
"type": "object",
|
|
1045
|
+
"properties": {
|
|
1046
|
+
"disabled": {
|
|
1047
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
1048
|
+
"type": "boolean",
|
|
1049
|
+
"title": "disabled"
|
|
1050
|
+
}
|
|
1051
|
+
}
|
|
1052
|
+
},
|
|
1053
|
+
"undo": {
|
|
1054
|
+
"title": "EditableHtmlButtonConfigure",
|
|
1055
|
+
"type": "object",
|
|
1056
|
+
"properties": {
|
|
1057
|
+
"disabled": {
|
|
1058
|
+
"description": "Indicates if the plugin is disabled or not",
|
|
1059
|
+
"type": "boolean",
|
|
1060
|
+
"title": "disabled"
|
|
1061
|
+
}
|
|
1062
|
+
}
|
|
634
1063
|
}
|
|
635
1064
|
}
|
|
636
1065
|
},
|