@pie-element/ebsr 9.7.1 → 9.8.0

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.
Files changed (19) hide show
  1. package/CHANGELOG.md +17 -0
  2. package/configure/CHANGELOG.md +17 -0
  3. package/configure/lib/defaults.js +71 -3
  4. package/configure/lib/defaults.js.map +1 -1
  5. package/configure/package.json +3 -3
  6. package/configure/src/defaults.js +32 -0
  7. package/controller/CHANGELOG.md +11 -0
  8. package/controller/package.json +2 -2
  9. package/docs/config-schema.json +934 -9
  10. package/docs/config-schema.json.md +668 -0
  11. package/docs/pie-schema.json +396 -3
  12. package/docs/pie-schema.json.md +284 -0
  13. package/module/configure.js +72 -4
  14. package/module/element.js +1 -1
  15. package/module/index.html +1 -1
  16. package/module/manifest.json +2 -2
  17. package/module/print.html +1 -1
  18. package/module/print.js +1 -1
  19. package/package.json +3 -3
package/docs/config-schema.json CHANGED
@@ -104,9 +104,59 @@
104
104
  }
105
105
  },
106
106
  "prompt": {
107
- "title": "ConfigureProp",
107
+ "title": "EditableHtmlPluginConfigure",
108
108
  "type": "object",
109
109
  "properties": {
110
+ "inputConfiguration": {
111
+ "title": "EditableHtmlConfigureProp",
112
+ "type": "object",
113
+ "properties": {
114
+ "math": {
115
+ "title": "EditableHtmlButtonConfigure",
116
+ "type": "object",
117
+ "properties": {
118
+ "disabled": {
119
+ "description": "Indicates if the plugin is disabled or not",
120
+ "type": "boolean",
121
+ "title": "disabled"
122
+ }
123
+ }
124
+ },
125
+ "audio": {
126
+ "title": "EditableHtmlButtonConfigure",
127
+ "type": "object",
128
+ "properties": {
129
+ "disabled": {
130
+ "description": "Indicates if the plugin is disabled or not",
131
+ "type": "boolean",
132
+ "title": "disabled"
133
+ }
134
+ }
135
+ },
136
+ "video": {
137
+ "title": "EditableHtmlButtonConfigure",
138
+ "type": "object",
139
+ "properties": {
140
+ "disabled": {
141
+ "description": "Indicates if the plugin is disabled or not",
142
+ "type": "boolean",
143
+ "title": "disabled"
144
+ }
145
+ }
146
+ },
147
+ "image": {
148
+ "title": "EditableHtmlButtonConfigure",
149
+ "type": "object",
150
+ "properties": {
151
+ "disabled": {
152
+ "description": "Indicates if the plugin is disabled or not",
153
+ "type": "boolean",
154
+ "title": "disabled"
155
+ }
156
+ }
157
+ }
158
+ }
159
+ },
110
160
  "settings": {
111
161
  "description": "Indicates if the item has to be displayed in the Settings Panel",
112
162
  "type": "boolean",
@@ -141,9 +191,59 @@
141
191
  }
142
192
  },
143
193
  "rationale": {
144
- "title": "ConfigureProp",
194
+ "title": "EditableHtmlPluginConfigure",
145
195
  "type": "object",
146
196
  "properties": {
197
+ "inputConfiguration": {
198
+ "title": "EditableHtmlConfigureProp",
199
+ "type": "object",
200
+ "properties": {
201
+ "math": {
202
+ "title": "EditableHtmlButtonConfigure",
203
+ "type": "object",
204
+ "properties": {
205
+ "disabled": {
206
+ "description": "Indicates if the plugin is disabled or not",
207
+ "type": "boolean",
208
+ "title": "disabled"
209
+ }
210
+ }
211
+ },
212
+ "audio": {
213
+ "title": "EditableHtmlButtonConfigure",
214
+ "type": "object",
215
+ "properties": {
216
+ "disabled": {
217
+ "description": "Indicates if the plugin is disabled or not",
218
+ "type": "boolean",
219
+ "title": "disabled"
220
+ }
221
+ }
222
+ },
223
+ "video": {
224
+ "title": "EditableHtmlButtonConfigure",
225
+ "type": "object",
226
+ "properties": {
227
+ "disabled": {
228
+ "description": "Indicates if the plugin is disabled or not",
229
+ "type": "boolean",
230
+ "title": "disabled"
231
+ }
232
+ }
233
+ },
234
+ "image": {
235
+ "title": "EditableHtmlButtonConfigure",
236
+ "type": "object",
237
+ "properties": {
238
+ "disabled": {
239
+ "description": "Indicates if the plugin is disabled or not",
240
+ "type": "boolean",
241
+ "title": "disabled"
242
+ }
243
+ }
244
+ }
245
+ }
246
+ },
147
247
  "settings": {
148
248
  "description": "Indicates if the item has to be displayed in the Settings Panel",
149
249
  "type": "boolean",
@@ -173,9 +273,59 @@
173
273
  }
174
274
  },
175
275
  "teacherInstructions": {
176
- "title": "ConfigureProp",
276
+ "title": "EditableHtmlPluginConfigure",
177
277
  "type": "object",
178
278
  "properties": {
279
+ "inputConfiguration": {
280
+ "title": "EditableHtmlConfigureProp",
281
+ "type": "object",
282
+ "properties": {
283
+ "math": {
284
+ "title": "EditableHtmlButtonConfigure",
285
+ "type": "object",
286
+ "properties": {
287
+ "disabled": {
288
+ "description": "Indicates if the plugin is disabled or not",
289
+ "type": "boolean",
290
+ "title": "disabled"
291
+ }
292
+ }
293
+ },
294
+ "audio": {
295
+ "title": "EditableHtmlButtonConfigure",
296
+ "type": "object",
297
+ "properties": {
298
+ "disabled": {
299
+ "description": "Indicates if the plugin is disabled or not",
300
+ "type": "boolean",
301
+ "title": "disabled"
302
+ }
303
+ }
304
+ },
305
+ "video": {
306
+ "title": "EditableHtmlButtonConfigure",
307
+ "type": "object",
308
+ "properties": {
309
+ "disabled": {
310
+ "description": "Indicates if the plugin is disabled or not",
311
+ "type": "boolean",
312
+ "title": "disabled"
313
+ }
314
+ }
315
+ },
316
+ "image": {
317
+ "title": "EditableHtmlButtonConfigure",
318
+ "type": "object",
319
+ "properties": {
320
+ "disabled": {
321
+ "description": "Indicates if the plugin is disabled or not",
322
+ "type": "boolean",
323
+ "title": "disabled"
324
+ }
325
+ }
326
+ }
327
+ }
328
+ },
179
329
  "settings": {
180
330
  "description": "Indicates if the item has to be displayed in the Settings Panel",
181
331
  "type": "boolean",
@@ -297,6 +447,122 @@
297
447
  "title": "mmlEditing"
298
448
  }
299
449
  }
450
+ },
451
+ "baseInputConfiguration": {
452
+ "title": "EditableHtmlConfigureProp",
453
+ "type": "object",
454
+ "properties": {
455
+ "math": {
456
+ "title": "EditableHtmlButtonConfigure",
457
+ "type": "object",
458
+ "properties": {
459
+ "disabled": {
460
+ "description": "Indicates if the plugin is disabled or not",
461
+ "type": "boolean",
462
+ "title": "disabled"
463
+ }
464
+ }
465
+ },
466
+ "audio": {
467
+ "title": "EditableHtmlButtonConfigure",
468
+ "type": "object",
469
+ "properties": {
470
+ "disabled": {
471
+ "description": "Indicates if the plugin is disabled or not",
472
+ "type": "boolean",
473
+ "title": "disabled"
474
+ }
475
+ }
476
+ },
477
+ "video": {
478
+ "title": "EditableHtmlButtonConfigure",
479
+ "type": "object",
480
+ "properties": {
481
+ "disabled": {
482
+ "description": "Indicates if the plugin is disabled or not",
483
+ "type": "boolean",
484
+ "title": "disabled"
485
+ }
486
+ }
487
+ },
488
+ "image": {
489
+ "title": "EditableHtmlButtonConfigure",
490
+ "type": "object",
491
+ "properties": {
492
+ "disabled": {
493
+ "description": "Indicates if the plugin is disabled or not",
494
+ "type": "boolean",
495
+ "title": "disabled"
496
+ }
497
+ }
498
+ }
499
+ }
500
+ },
501
+ "choices": {
502
+ "title": "EditableHtmlPluginConfigure",
503
+ "type": "object",
504
+ "properties": {
505
+ "inputConfiguration": {
506
+ "title": "EditableHtmlConfigureProp",
507
+ "type": "object",
508
+ "properties": {
509
+ "math": {
510
+ "title": "EditableHtmlButtonConfigure",
511
+ "type": "object",
512
+ "properties": {
513
+ "disabled": {
514
+ "description": "Indicates if the plugin is disabled or not",
515
+ "type": "boolean",
516
+ "title": "disabled"
517
+ }
518
+ }
519
+ },
520
+ "audio": {
521
+ "title": "EditableHtmlButtonConfigure",
522
+ "type": "object",
523
+ "properties": {
524
+ "disabled": {
525
+ "description": "Indicates if the plugin is disabled or not",
526
+ "type": "boolean",
527
+ "title": "disabled"
528
+ }
529
+ }
530
+ },
531
+ "video": {
532
+ "title": "EditableHtmlButtonConfigure",
533
+ "type": "object",
534
+ "properties": {
535
+ "disabled": {
536
+ "description": "Indicates if the plugin is disabled or not",
537
+ "type": "boolean",
538
+ "title": "disabled"
539
+ }
540
+ }
541
+ },
542
+ "image": {
543
+ "title": "EditableHtmlButtonConfigure",
544
+ "type": "object",
545
+ "properties": {
546
+ "disabled": {
547
+ "description": "Indicates if the plugin is disabled or not",
548
+ "type": "boolean",
549
+ "title": "disabled"
550
+ }
551
+ }
552
+ }
553
+ }
554
+ },
555
+ "settings": {
556
+ "description": "Indicates if the item has to be displayed in the Settings Panel",
557
+ "type": "boolean",
558
+ "title": "settings"
559
+ },
560
+ "label": {
561
+ "description": "Indicates the label for the item that has to be displayed in the Settings Panel",
562
+ "type": "string",
563
+ "title": "label"
564
+ }
565
+ }
300
566
  }
301
567
  }
302
568
  },
@@ -401,9 +667,59 @@
401
667
  }
402
668
  },
403
669
  "prompt": {
404
- "title": "ConfigureProp",
670
+ "title": "EditableHtmlPluginConfigure",
405
671
  "type": "object",
406
672
  "properties": {
673
+ "inputConfiguration": {
674
+ "title": "EditableHtmlConfigureProp",
675
+ "type": "object",
676
+ "properties": {
677
+ "math": {
678
+ "title": "EditableHtmlButtonConfigure",
679
+ "type": "object",
680
+ "properties": {
681
+ "disabled": {
682
+ "description": "Indicates if the plugin is disabled or not",
683
+ "type": "boolean",
684
+ "title": "disabled"
685
+ }
686
+ }
687
+ },
688
+ "audio": {
689
+ "title": "EditableHtmlButtonConfigure",
690
+ "type": "object",
691
+ "properties": {
692
+ "disabled": {
693
+ "description": "Indicates if the plugin is disabled or not",
694
+ "type": "boolean",
695
+ "title": "disabled"
696
+ }
697
+ }
698
+ },
699
+ "video": {
700
+ "title": "EditableHtmlButtonConfigure",
701
+ "type": "object",
702
+ "properties": {
703
+ "disabled": {
704
+ "description": "Indicates if the plugin is disabled or not",
705
+ "type": "boolean",
706
+ "title": "disabled"
707
+ }
708
+ }
709
+ },
710
+ "image": {
711
+ "title": "EditableHtmlButtonConfigure",
712
+ "type": "object",
713
+ "properties": {
714
+ "disabled": {
715
+ "description": "Indicates if the plugin is disabled or not",
716
+ "type": "boolean",
717
+ "title": "disabled"
718
+ }
719
+ }
720
+ }
721
+ }
722
+ },
407
723
  "settings": {
408
724
  "description": "Indicates if the item has to be displayed in the Settings Panel",
409
725
  "type": "boolean",
@@ -438,9 +754,59 @@
438
754
  }
439
755
  },
440
756
  "rationale": {
441
- "title": "ConfigureProp",
757
+ "title": "EditableHtmlPluginConfigure",
442
758
  "type": "object",
443
759
  "properties": {
760
+ "inputConfiguration": {
761
+ "title": "EditableHtmlConfigureProp",
762
+ "type": "object",
763
+ "properties": {
764
+ "math": {
765
+ "title": "EditableHtmlButtonConfigure",
766
+ "type": "object",
767
+ "properties": {
768
+ "disabled": {
769
+ "description": "Indicates if the plugin is disabled or not",
770
+ "type": "boolean",
771
+ "title": "disabled"
772
+ }
773
+ }
774
+ },
775
+ "audio": {
776
+ "title": "EditableHtmlButtonConfigure",
777
+ "type": "object",
778
+ "properties": {
779
+ "disabled": {
780
+ "description": "Indicates if the plugin is disabled or not",
781
+ "type": "boolean",
782
+ "title": "disabled"
783
+ }
784
+ }
785
+ },
786
+ "video": {
787
+ "title": "EditableHtmlButtonConfigure",
788
+ "type": "object",
789
+ "properties": {
790
+ "disabled": {
791
+ "description": "Indicates if the plugin is disabled or not",
792
+ "type": "boolean",
793
+ "title": "disabled"
794
+ }
795
+ }
796
+ },
797
+ "image": {
798
+ "title": "EditableHtmlButtonConfigure",
799
+ "type": "object",
800
+ "properties": {
801
+ "disabled": {
802
+ "description": "Indicates if the plugin is disabled or not",
803
+ "type": "boolean",
804
+ "title": "disabled"
805
+ }
806
+ }
807
+ }
808
+ }
809
+ },
444
810
  "settings": {
445
811
  "description": "Indicates if the item has to be displayed in the Settings Panel",
446
812
  "type": "boolean",
@@ -470,9 +836,59 @@
470
836
  }
471
837
  },
472
838
  "teacherInstructions": {
473
- "title": "ConfigureProp",
839
+ "title": "EditableHtmlPluginConfigure",
474
840
  "type": "object",
475
841
  "properties": {
842
+ "inputConfiguration": {
843
+ "title": "EditableHtmlConfigureProp",
844
+ "type": "object",
845
+ "properties": {
846
+ "math": {
847
+ "title": "EditableHtmlButtonConfigure",
848
+ "type": "object",
849
+ "properties": {
850
+ "disabled": {
851
+ "description": "Indicates if the plugin is disabled or not",
852
+ "type": "boolean",
853
+ "title": "disabled"
854
+ }
855
+ }
856
+ },
857
+ "audio": {
858
+ "title": "EditableHtmlButtonConfigure",
859
+ "type": "object",
860
+ "properties": {
861
+ "disabled": {
862
+ "description": "Indicates if the plugin is disabled or not",
863
+ "type": "boolean",
864
+ "title": "disabled"
865
+ }
866
+ }
867
+ },
868
+ "video": {
869
+ "title": "EditableHtmlButtonConfigure",
870
+ "type": "object",
871
+ "properties": {
872
+ "disabled": {
873
+ "description": "Indicates if the plugin is disabled or not",
874
+ "type": "boolean",
875
+ "title": "disabled"
876
+ }
877
+ }
878
+ },
879
+ "image": {
880
+ "title": "EditableHtmlButtonConfigure",
881
+ "type": "object",
882
+ "properties": {
883
+ "disabled": {
884
+ "description": "Indicates if the plugin is disabled or not",
885
+ "type": "boolean",
886
+ "title": "disabled"
887
+ }
888
+ }
889
+ }
890
+ }
891
+ },
476
892
  "settings": {
477
893
  "description": "Indicates if the item has to be displayed in the Settings Panel",
478
894
  "type": "boolean",
@@ -594,6 +1010,122 @@
594
1010
  "title": "mmlEditing"
595
1011
  }
596
1012
  }
1013
+ },
1014
+ "baseInputConfiguration": {
1015
+ "title": "EditableHtmlConfigureProp",
1016
+ "type": "object",
1017
+ "properties": {
1018
+ "math": {
1019
+ "title": "EditableHtmlButtonConfigure",
1020
+ "type": "object",
1021
+ "properties": {
1022
+ "disabled": {
1023
+ "description": "Indicates if the plugin is disabled or not",
1024
+ "type": "boolean",
1025
+ "title": "disabled"
1026
+ }
1027
+ }
1028
+ },
1029
+ "audio": {
1030
+ "title": "EditableHtmlButtonConfigure",
1031
+ "type": "object",
1032
+ "properties": {
1033
+ "disabled": {
1034
+ "description": "Indicates if the plugin is disabled or not",
1035
+ "type": "boolean",
1036
+ "title": "disabled"
1037
+ }
1038
+ }
1039
+ },
1040
+ "video": {
1041
+ "title": "EditableHtmlButtonConfigure",
1042
+ "type": "object",
1043
+ "properties": {
1044
+ "disabled": {
1045
+ "description": "Indicates if the plugin is disabled or not",
1046
+ "type": "boolean",
1047
+ "title": "disabled"
1048
+ }
1049
+ }
1050
+ },
1051
+ "image": {
1052
+ "title": "EditableHtmlButtonConfigure",
1053
+ "type": "object",
1054
+ "properties": {
1055
+ "disabled": {
1056
+ "description": "Indicates if the plugin is disabled or not",
1057
+ "type": "boolean",
1058
+ "title": "disabled"
1059
+ }
1060
+ }
1061
+ }
1062
+ }
1063
+ },
1064
+ "choices": {
1065
+ "title": "EditableHtmlPluginConfigure",
1066
+ "type": "object",
1067
+ "properties": {
1068
+ "inputConfiguration": {
1069
+ "title": "EditableHtmlConfigureProp",
1070
+ "type": "object",
1071
+ "properties": {
1072
+ "math": {
1073
+ "title": "EditableHtmlButtonConfigure",
1074
+ "type": "object",
1075
+ "properties": {
1076
+ "disabled": {
1077
+ "description": "Indicates if the plugin is disabled or not",
1078
+ "type": "boolean",
1079
+ "title": "disabled"
1080
+ }
1081
+ }
1082
+ },
1083
+ "audio": {
1084
+ "title": "EditableHtmlButtonConfigure",
1085
+ "type": "object",
1086
+ "properties": {
1087
+ "disabled": {
1088
+ "description": "Indicates if the plugin is disabled or not",
1089
+ "type": "boolean",
1090
+ "title": "disabled"
1091
+ }
1092
+ }
1093
+ },
1094
+ "video": {
1095
+ "title": "EditableHtmlButtonConfigure",
1096
+ "type": "object",
1097
+ "properties": {
1098
+ "disabled": {
1099
+ "description": "Indicates if the plugin is disabled or not",
1100
+ "type": "boolean",
1101
+ "title": "disabled"
1102
+ }
1103
+ }
1104
+ },
1105
+ "image": {
1106
+ "title": "EditableHtmlButtonConfigure",
1107
+ "type": "object",
1108
+ "properties": {
1109
+ "disabled": {
1110
+ "description": "Indicates if the plugin is disabled or not",
1111
+ "type": "boolean",
1112
+ "title": "disabled"
1113
+ }
1114
+ }
1115
+ }
1116
+ }
1117
+ },
1118
+ "settings": {
1119
+ "description": "Indicates if the item has to be displayed in the Settings Panel",
1120
+ "type": "boolean",
1121
+ "title": "settings"
1122
+ },
1123
+ "label": {
1124
+ "description": "Indicates the label for the item that has to be displayed in the Settings Panel",
1125
+ "type": "string",
1126
+ "title": "label"
1127
+ }
1128
+ }
597
1129
  }
598
1130
  }
599
1131
  },
@@ -819,9 +1351,59 @@
819
1351
  }
820
1352
  },
821
1353
  "prompt": {
822
- "title": "ConfigureProp",
1354
+ "title": "EditableHtmlPluginConfigure",
823
1355
  "type": "object",
824
1356
  "properties": {
1357
+ "inputConfiguration": {
1358
+ "title": "EditableHtmlConfigureProp",
1359
+ "type": "object",
1360
+ "properties": {
1361
+ "math": {
1362
+ "title": "EditableHtmlButtonConfigure",
1363
+ "type": "object",
1364
+ "properties": {
1365
+ "disabled": {
1366
+ "description": "Indicates if the plugin is disabled or not",
1367
+ "type": "boolean",
1368
+ "title": "disabled"
1369
+ }
1370
+ }
1371
+ },
1372
+ "audio": {
1373
+ "title": "EditableHtmlButtonConfigure",
1374
+ "type": "object",
1375
+ "properties": {
1376
+ "disabled": {
1377
+ "description": "Indicates if the plugin is disabled or not",
1378
+ "type": "boolean",
1379
+ "title": "disabled"
1380
+ }
1381
+ }
1382
+ },
1383
+ "video": {
1384
+ "title": "EditableHtmlButtonConfigure",
1385
+ "type": "object",
1386
+ "properties": {
1387
+ "disabled": {
1388
+ "description": "Indicates if the plugin is disabled or not",
1389
+ "type": "boolean",
1390
+ "title": "disabled"
1391
+ }
1392
+ }
1393
+ },
1394
+ "image": {
1395
+ "title": "EditableHtmlButtonConfigure",
1396
+ "type": "object",
1397
+ "properties": {
1398
+ "disabled": {
1399
+ "description": "Indicates if the plugin is disabled or not",
1400
+ "type": "boolean",
1401
+ "title": "disabled"
1402
+ }
1403
+ }
1404
+ }
1405
+ }
1406
+ },
825
1407
  "settings": {
826
1408
  "description": "Indicates if the item has to be displayed in the Settings Panel",
827
1409
  "type": "boolean",
@@ -856,9 +1438,59 @@
856
1438
  }
857
1439
  },
858
1440
  "rationale": {
859
- "title": "ConfigureProp",
1441
+ "title": "EditableHtmlPluginConfigure",
860
1442
  "type": "object",
861
1443
  "properties": {
1444
+ "inputConfiguration": {
1445
+ "title": "EditableHtmlConfigureProp",
1446
+ "type": "object",
1447
+ "properties": {
1448
+ "math": {
1449
+ "title": "EditableHtmlButtonConfigure",
1450
+ "type": "object",
1451
+ "properties": {
1452
+ "disabled": {
1453
+ "description": "Indicates if the plugin is disabled or not",
1454
+ "type": "boolean",
1455
+ "title": "disabled"
1456
+ }
1457
+ }
1458
+ },
1459
+ "audio": {
1460
+ "title": "EditableHtmlButtonConfigure",
1461
+ "type": "object",
1462
+ "properties": {
1463
+ "disabled": {
1464
+ "description": "Indicates if the plugin is disabled or not",
1465
+ "type": "boolean",
1466
+ "title": "disabled"
1467
+ }
1468
+ }
1469
+ },
1470
+ "video": {
1471
+ "title": "EditableHtmlButtonConfigure",
1472
+ "type": "object",
1473
+ "properties": {
1474
+ "disabled": {
1475
+ "description": "Indicates if the plugin is disabled or not",
1476
+ "type": "boolean",
1477
+ "title": "disabled"
1478
+ }
1479
+ }
1480
+ },
1481
+ "image": {
1482
+ "title": "EditableHtmlButtonConfigure",
1483
+ "type": "object",
1484
+ "properties": {
1485
+ "disabled": {
1486
+ "description": "Indicates if the plugin is disabled or not",
1487
+ "type": "boolean",
1488
+ "title": "disabled"
1489
+ }
1490
+ }
1491
+ }
1492
+ }
1493
+ },
862
1494
  "settings": {
863
1495
  "description": "Indicates if the item has to be displayed in the Settings Panel",
864
1496
  "type": "boolean",
@@ -888,9 +1520,59 @@
888
1520
  }
889
1521
  },
890
1522
  "teacherInstructions": {
891
- "title": "ConfigureProp",
1523
+ "title": "EditableHtmlPluginConfigure",
892
1524
  "type": "object",
893
1525
  "properties": {
1526
+ "inputConfiguration": {
1527
+ "title": "EditableHtmlConfigureProp",
1528
+ "type": "object",
1529
+ "properties": {
1530
+ "math": {
1531
+ "title": "EditableHtmlButtonConfigure",
1532
+ "type": "object",
1533
+ "properties": {
1534
+ "disabled": {
1535
+ "description": "Indicates if the plugin is disabled or not",
1536
+ "type": "boolean",
1537
+ "title": "disabled"
1538
+ }
1539
+ }
1540
+ },
1541
+ "audio": {
1542
+ "title": "EditableHtmlButtonConfigure",
1543
+ "type": "object",
1544
+ "properties": {
1545
+ "disabled": {
1546
+ "description": "Indicates if the plugin is disabled or not",
1547
+ "type": "boolean",
1548
+ "title": "disabled"
1549
+ }
1550
+ }
1551
+ },
1552
+ "video": {
1553
+ "title": "EditableHtmlButtonConfigure",
1554
+ "type": "object",
1555
+ "properties": {
1556
+ "disabled": {
1557
+ "description": "Indicates if the plugin is disabled or not",
1558
+ "type": "boolean",
1559
+ "title": "disabled"
1560
+ }
1561
+ }
1562
+ },
1563
+ "image": {
1564
+ "title": "EditableHtmlButtonConfigure",
1565
+ "type": "object",
1566
+ "properties": {
1567
+ "disabled": {
1568
+ "description": "Indicates if the plugin is disabled or not",
1569
+ "type": "boolean",
1570
+ "title": "disabled"
1571
+ }
1572
+ }
1573
+ }
1574
+ }
1575
+ },
894
1576
  "settings": {
895
1577
  "description": "Indicates if the item has to be displayed in the Settings Panel",
896
1578
  "type": "boolean",
@@ -1012,6 +1694,122 @@
1012
1694
  "title": "mmlEditing"
1013
1695
  }
1014
1696
  }
1697
+ },
1698
+ "baseInputConfiguration": {
1699
+ "title": "EditableHtmlConfigureProp",
1700
+ "type": "object",
1701
+ "properties": {
1702
+ "math": {
1703
+ "title": "EditableHtmlButtonConfigure",
1704
+ "type": "object",
1705
+ "properties": {
1706
+ "disabled": {
1707
+ "description": "Indicates if the plugin is disabled or not",
1708
+ "type": "boolean",
1709
+ "title": "disabled"
1710
+ }
1711
+ }
1712
+ },
1713
+ "audio": {
1714
+ "title": "EditableHtmlButtonConfigure",
1715
+ "type": "object",
1716
+ "properties": {
1717
+ "disabled": {
1718
+ "description": "Indicates if the plugin is disabled or not",
1719
+ "type": "boolean",
1720
+ "title": "disabled"
1721
+ }
1722
+ }
1723
+ },
1724
+ "video": {
1725
+ "title": "EditableHtmlButtonConfigure",
1726
+ "type": "object",
1727
+ "properties": {
1728
+ "disabled": {
1729
+ "description": "Indicates if the plugin is disabled or not",
1730
+ "type": "boolean",
1731
+ "title": "disabled"
1732
+ }
1733
+ }
1734
+ },
1735
+ "image": {
1736
+ "title": "EditableHtmlButtonConfigure",
1737
+ "type": "object",
1738
+ "properties": {
1739
+ "disabled": {
1740
+ "description": "Indicates if the plugin is disabled or not",
1741
+ "type": "boolean",
1742
+ "title": "disabled"
1743
+ }
1744
+ }
1745
+ }
1746
+ }
1747
+ },
1748
+ "choices": {
1749
+ "title": "EditableHtmlPluginConfigure",
1750
+ "type": "object",
1751
+ "properties": {
1752
+ "inputConfiguration": {
1753
+ "title": "EditableHtmlConfigureProp",
1754
+ "type": "object",
1755
+ "properties": {
1756
+ "math": {
1757
+ "title": "EditableHtmlButtonConfigure",
1758
+ "type": "object",
1759
+ "properties": {
1760
+ "disabled": {
1761
+ "description": "Indicates if the plugin is disabled or not",
1762
+ "type": "boolean",
1763
+ "title": "disabled"
1764
+ }
1765
+ }
1766
+ },
1767
+ "audio": {
1768
+ "title": "EditableHtmlButtonConfigure",
1769
+ "type": "object",
1770
+ "properties": {
1771
+ "disabled": {
1772
+ "description": "Indicates if the plugin is disabled or not",
1773
+ "type": "boolean",
1774
+ "title": "disabled"
1775
+ }
1776
+ }
1777
+ },
1778
+ "video": {
1779
+ "title": "EditableHtmlButtonConfigure",
1780
+ "type": "object",
1781
+ "properties": {
1782
+ "disabled": {
1783
+ "description": "Indicates if the plugin is disabled or not",
1784
+ "type": "boolean",
1785
+ "title": "disabled"
1786
+ }
1787
+ }
1788
+ },
1789
+ "image": {
1790
+ "title": "EditableHtmlButtonConfigure",
1791
+ "type": "object",
1792
+ "properties": {
1793
+ "disabled": {
1794
+ "description": "Indicates if the plugin is disabled or not",
1795
+ "type": "boolean",
1796
+ "title": "disabled"
1797
+ }
1798
+ }
1799
+ }
1800
+ }
1801
+ },
1802
+ "settings": {
1803
+ "description": "Indicates if the item has to be displayed in the Settings Panel",
1804
+ "type": "boolean",
1805
+ "title": "settings"
1806
+ },
1807
+ "label": {
1808
+ "description": "Indicates the label for the item that has to be displayed in the Settings Panel",
1809
+ "type": "string",
1810
+ "title": "label"
1811
+ }
1812
+ }
1015
1813
  }
1016
1814
  }
1017
1815
  },
@@ -1031,6 +1829,133 @@
1031
1829
  }
1032
1830
  }
1033
1831
  },
1832
+ "EditableHtmlPluginConfigure": {
1833
+ "title": "EditableHtmlPluginConfigure",
1834
+ "type": "object",
1835
+ "properties": {
1836
+ "inputConfiguration": {
1837
+ "title": "EditableHtmlConfigureProp",
1838
+ "type": "object",
1839
+ "properties": {
1840
+ "math": {
1841
+ "title": "EditableHtmlButtonConfigure",
1842
+ "type": "object",
1843
+ "properties": {
1844
+ "disabled": {
1845
+ "description": "Indicates if the plugin is disabled or not",
1846
+ "type": "boolean",
1847
+ "title": "disabled"
1848
+ }
1849
+ }
1850
+ },
1851
+ "audio": {
1852
+ "title": "EditableHtmlButtonConfigure",
1853
+ "type": "object",
1854
+ "properties": {
1855
+ "disabled": {
1856
+ "description": "Indicates if the plugin is disabled or not",
1857
+ "type": "boolean",
1858
+ "title": "disabled"
1859
+ }
1860
+ }
1861
+ },
1862
+ "video": {
1863
+ "title": "EditableHtmlButtonConfigure",
1864
+ "type": "object",
1865
+ "properties": {
1866
+ "disabled": {
1867
+ "description": "Indicates if the plugin is disabled or not",
1868
+ "type": "boolean",
1869
+ "title": "disabled"
1870
+ }
1871
+ }
1872
+ },
1873
+ "image": {
1874
+ "title": "EditableHtmlButtonConfigure",
1875
+ "type": "object",
1876
+ "properties": {
1877
+ "disabled": {
1878
+ "description": "Indicates if the plugin is disabled or not",
1879
+ "type": "boolean",
1880
+ "title": "disabled"
1881
+ }
1882
+ }
1883
+ }
1884
+ }
1885
+ },
1886
+ "settings": {
1887
+ "description": "Indicates if the item has to be displayed in the Settings Panel",
1888
+ "type": "boolean",
1889
+ "title": "settings"
1890
+ },
1891
+ "label": {
1892
+ "description": "Indicates the label for the item that has to be displayed in the Settings Panel",
1893
+ "type": "string",
1894
+ "title": "label"
1895
+ }
1896
+ }
1897
+ },
1898
+ "EditableHtmlConfigureProp": {
1899
+ "title": "EditableHtmlConfigureProp",
1900
+ "type": "object",
1901
+ "properties": {
1902
+ "math": {
1903
+ "title": "EditableHtmlButtonConfigure",
1904
+ "type": "object",
1905
+ "properties": {
1906
+ "disabled": {
1907
+ "description": "Indicates if the plugin is disabled or not",
1908
+ "type": "boolean",
1909
+ "title": "disabled"
1910
+ }
1911
+ }
1912
+ },
1913
+ "audio": {
1914
+ "title": "EditableHtmlButtonConfigure",
1915
+ "type": "object",
1916
+ "properties": {
1917
+ "disabled": {
1918
+ "description": "Indicates if the plugin is disabled or not",
1919
+ "type": "boolean",
1920
+ "title": "disabled"
1921
+ }
1922
+ }
1923
+ },
1924
+ "video": {
1925
+ "title": "EditableHtmlButtonConfigure",
1926
+ "type": "object",
1927
+ "properties": {
1928
+ "disabled": {
1929
+ "description": "Indicates if the plugin is disabled or not",
1930
+ "type": "boolean",
1931
+ "title": "disabled"
1932
+ }
1933
+ }
1934
+ },
1935
+ "image": {
1936
+ "title": "EditableHtmlButtonConfigure",
1937
+ "type": "object",
1938
+ "properties": {
1939
+ "disabled": {
1940
+ "description": "Indicates if the plugin is disabled or not",
1941
+ "type": "boolean",
1942
+ "title": "disabled"
1943
+ }
1944
+ }
1945
+ }
1946
+ }
1947
+ },
1948
+ "EditableHtmlButtonConfigure": {
1949
+ "title": "EditableHtmlButtonConfigure",
1950
+ "type": "object",
1951
+ "properties": {
1952
+ "disabled": {
1953
+ "description": "Indicates if the plugin is disabled or not",
1954
+ "type": "boolean",
1955
+ "title": "disabled"
1956
+ }
1957
+ }
1958
+ },
1034
1959
  "ConfigureMaxImageDimensionsProp": {
1035
1960
  "title": "ConfigureMaxImageDimensionsProp",
1036
1961
  "type": "object",