@dodona/papyros 4.0.3 → 4.0.5

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 (87) hide show
  1. package/dist/backend/Backend.js.map +1 -1
  2. package/dist/backend/workers/javascript/JavaScriptWorker.js +31 -21
  3. package/dist/backend/workers/javascript/JavaScriptWorker.js.map +1 -1
  4. package/dist/backend/workers/python/PythonWorker.js +4 -4
  5. package/dist/backend/workers/python/PythonWorker.js.map +1 -1
  6. package/dist/backend/workers/python/python_package.tar.gz.load_by_url +0 -0
  7. package/dist/communication/BackendEventQueue.js +5 -4
  8. package/dist/communication/BackendEventQueue.js.map +1 -1
  9. package/dist/communication/BackendManager.js +3 -2
  10. package/dist/communication/BackendManager.js.map +1 -1
  11. package/dist/communication/InputServiceWorker.js.map +1 -1
  12. package/dist/communication/InputWorker.js +3 -3
  13. package/dist/communication/InputWorker.js.map +1 -1
  14. package/dist/frontend/components/CodeRunner.js +2 -2
  15. package/dist/frontend/components/CodeRunner.js.map +1 -1
  16. package/dist/frontend/components/Debugger.js +22 -8
  17. package/dist/frontend/components/Debugger.js.map +1 -1
  18. package/dist/frontend/components/Input.js +5 -6
  19. package/dist/frontend/components/Input.js.map +1 -1
  20. package/dist/frontend/components/Output.js +24 -21
  21. package/dist/frontend/components/Output.js.map +1 -1
  22. package/dist/frontend/components/PapyrosElement.js.map +1 -1
  23. package/dist/frontend/components/app/App.js +13 -10
  24. package/dist/frontend/components/app/App.js.map +1 -1
  25. package/dist/frontend/components/app/ExamplePicker.js +10 -9
  26. package/dist/frontend/components/app/ExamplePicker.js.map +1 -1
  27. package/dist/frontend/components/app/LanguagePicker.js +8 -10
  28. package/dist/frontend/components/app/LanguagePicker.js.map +1 -1
  29. package/dist/frontend/components/app/ProgrammingLanguagePicker.js +12 -13
  30. package/dist/frontend/components/app/ProgrammingLanguagePicker.js.map +1 -1
  31. package/dist/frontend/components/app/examples/JavaScriptExamples.js +4 -4
  32. package/dist/frontend/components/app/examples/JavaScriptExamples.js.map +1 -1
  33. package/dist/frontend/components/app/examples/PythonExamples.js +12 -12
  34. package/dist/frontend/components/app/examples/PythonExamples.js.map +1 -1
  35. package/dist/frontend/components/app/themes/ThemePicker.js +10 -9
  36. package/dist/frontend/components/app/themes/ThemePicker.js.map +1 -1
  37. package/dist/frontend/components/app/themes/ThemedButton.js +15 -5
  38. package/dist/frontend/components/app/themes/ThemedButton.js.map +1 -1
  39. package/dist/frontend/components/code_mirror/BatchInputEditor.js +1 -4
  40. package/dist/frontend/components/code_mirror/BatchInputEditor.js.map +1 -1
  41. package/dist/frontend/components/code_mirror/CodeEditor.js +18 -24
  42. package/dist/frontend/components/code_mirror/CodeEditor.js.map +1 -1
  43. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js +9 -6
  44. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js.map +1 -1
  45. package/dist/frontend/components/code_mirror/Extensions.js +13 -18
  46. package/dist/frontend/components/code_mirror/Extensions.js.map +1 -1
  47. package/dist/frontend/components/code_mirror/MaterialTheme.js +8 -2
  48. package/dist/frontend/components/code_mirror/MaterialTheme.js.map +1 -1
  49. package/dist/frontend/components/code_runner/ButtonLint.js +14 -18
  50. package/dist/frontend/components/code_runner/ButtonLint.js.map +1 -1
  51. package/dist/frontend/components/code_runner/Code.js +6 -4
  52. package/dist/frontend/components/code_runner/Code.js.map +1 -1
  53. package/dist/frontend/components/code_runner/RunState.js +4 -4
  54. package/dist/frontend/components/code_runner/RunState.js.map +1 -1
  55. package/dist/frontend/components/input/BatchInput.js +1 -1
  56. package/dist/frontend/components/input/BatchInput.js.map +1 -1
  57. package/dist/frontend/components/input/InteractiveInput.js +9 -11
  58. package/dist/frontend/components/input/InteractiveInput.js.map +1 -1
  59. package/dist/frontend/state/Constants.d.ts +7 -7
  60. package/dist/frontend/state/Constants.js +26 -23
  61. package/dist/frontend/state/Constants.js.map +1 -1
  62. package/dist/frontend/state/Debugger.js +5 -3
  63. package/dist/frontend/state/Debugger.js.map +1 -1
  64. package/dist/frontend/state/I18n.js.map +1 -1
  65. package/dist/frontend/state/InputOutput.js +19 -6
  66. package/dist/frontend/state/InputOutput.js.map +1 -1
  67. package/dist/frontend/state/Papyros.d.ts +8 -0
  68. package/dist/frontend/state/Papyros.js +21 -0
  69. package/dist/frontend/state/Papyros.js.map +1 -1
  70. package/dist/frontend/state/Runner.js +29 -18
  71. package/dist/frontend/state/Runner.js.map +1 -1
  72. package/dist/frontend/state/Translations.js +156 -157
  73. package/dist/frontend/state/Translations.js.map +1 -1
  74. package/dist/frontend/state/themes/blue-dark.js +52 -51
  75. package/dist/frontend/state/themes/blue-dark.js.map +1 -1
  76. package/dist/frontend/state/themes/blue-light.js +52 -51
  77. package/dist/frontend/state/themes/blue-light.js.map +1 -1
  78. package/dist/frontend/state/themes/green-dark.js +52 -51
  79. package/dist/frontend/state/themes/green-dark.js.map +1 -1
  80. package/dist/frontend/state/themes/green-light.js +52 -51
  81. package/dist/frontend/state/themes/green-light.js.map +1 -1
  82. package/dist/frontend/state/themes/red-dark.js +52 -51
  83. package/dist/frontend/state/themes/red-dark.js.map +1 -1
  84. package/dist/frontend/state/themes/red-light.js +52 -51
  85. package/dist/frontend/state/themes/red-light.js.map +1 -1
  86. package/dist/util/Logging.js.map +1 -1
  87. package/package.json +7 -2
package/dist/frontend/state/themes/blue-light.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"blue-light.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/blue-light.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDjB,CAAC"}
1
+ {"version":3,"file":"blue-light.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/blue-light.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDjB,CAAC"}
package/dist/frontend/state/themes/green-dark.js CHANGED
@@ -1,55 +1,56 @@
1
1
  import { css } from "lit";
2
2
  export default css `
3
- :root, :host {
4
- --md-sys-color-primary: rgb(177 209 138);
5
- --md-sys-color-surface-tint: rgb(177 209 138);
6
- --md-sys-color-on-primary: rgb(31 55 1);
7
- --md-sys-color-primary-container: rgb(53 78 22);
8
- --md-sys-color-on-primary-container: rgb(205 237 163);
9
- --md-sys-color-secondary: rgb(191 203 173);
10
- --md-sys-color-on-secondary: rgb(42 51 30);
11
- --md-sys-color-secondary-container: rgb(64 74 51);
12
- --md-sys-color-on-secondary-container: rgb(220 231 200);
13
- --md-sys-color-tertiary: rgb(160 208 203);
14
- --md-sys-color-on-tertiary: rgb(0 55 53);
15
- --md-sys-color-tertiary-container: rgb(31 78 75);
16
- --md-sys-color-on-tertiary-container: rgb(188 236 231);
17
- --md-sys-color-error: rgb(255 180 171);
18
- --md-sys-color-on-error: rgb(105 0 5);
19
- --md-sys-color-error-container: rgb(147 0 10);
20
- --md-sys-color-on-error-container: rgb(255 218 214);
21
- --md-sys-color-background: rgb(18 20 14);
22
- --md-sys-color-on-background: rgb(226 227 216);
23
- --md-sys-color-surface: rgb(18 20 14);
24
- --md-sys-color-on-surface: rgb(226 227 216);
25
- --md-sys-color-surface-variant: rgb(68 72 61);
26
- --md-sys-color-on-surface-variant: rgb(197 200 186);
27
- --md-sys-color-outline: rgb(143 146 133);
28
- --md-sys-color-outline-variant: rgb(68 72 61);
29
- --md-sys-color-shadow: rgb(0 0 0);
30
- --md-sys-color-scrim: rgb(0 0 0);
31
- --md-sys-color-inverse-surface: rgb(226 227 216);
32
- --md-sys-color-inverse-on-surface: rgb(47 49 42);
33
- --md-sys-color-inverse-primary: rgb(76 102 43);
34
- --md-sys-color-primary-fixed: rgb(205 237 163);
35
- --md-sys-color-on-primary-fixed: rgb(16 32 0);
36
- --md-sys-color-primary-fixed-dim: rgb(177 209 138);
37
- --md-sys-color-on-primary-fixed-variant: rgb(53 78 22);
38
- --md-sys-color-secondary-fixed: rgb(220 231 200);
39
- --md-sys-color-on-secondary-fixed: rgb(21 30 11);
40
- --md-sys-color-secondary-fixed-dim: rgb(191 203 173);
41
- --md-sys-color-on-secondary-fixed-variant: rgb(64 74 51);
42
- --md-sys-color-tertiary-fixed: rgb(188 236 231);
43
- --md-sys-color-on-tertiary-fixed: rgb(0 32 30);
44
- --md-sys-color-tertiary-fixed-dim: rgb(160 208 203);
45
- --md-sys-color-on-tertiary-fixed-variant: rgb(31 78 75);
46
- --md-sys-color-surface-dim: rgb(18 20 14);
47
- --md-sys-color-surface-bright: rgb(56 58 50);
48
- --md-sys-color-surface-container-lowest: rgb(12 15 9);
49
- --md-sys-color-surface-container-low: rgb(26 28 22);
50
- --md-sys-color-surface-container: rgb(30 32 26);
51
- --md-sys-color-surface-container-high: rgb(40 43 36);
52
- --md-sys-color-surface-container-highest: rgb(51 54 46);
53
- }
3
+ :root,
4
+ :host {
5
+ --md-sys-color-primary: rgb(177 209 138);
6
+ --md-sys-color-surface-tint: rgb(177 209 138);
7
+ --md-sys-color-on-primary: rgb(31 55 1);
8
+ --md-sys-color-primary-container: rgb(53 78 22);
9
+ --md-sys-color-on-primary-container: rgb(205 237 163);
10
+ --md-sys-color-secondary: rgb(191 203 173);
11
+ --md-sys-color-on-secondary: rgb(42 51 30);
12
+ --md-sys-color-secondary-container: rgb(64 74 51);
13
+ --md-sys-color-on-secondary-container: rgb(220 231 200);
14
+ --md-sys-color-tertiary: rgb(160 208 203);
15
+ --md-sys-color-on-tertiary: rgb(0 55 53);
16
+ --md-sys-color-tertiary-container: rgb(31 78 75);
17
+ --md-sys-color-on-tertiary-container: rgb(188 236 231);
18
+ --md-sys-color-error: rgb(255 180 171);
19
+ --md-sys-color-on-error: rgb(105 0 5);
20
+ --md-sys-color-error-container: rgb(147 0 10);
21
+ --md-sys-color-on-error-container: rgb(255 218 214);
22
+ --md-sys-color-background: rgb(18 20 14);
23
+ --md-sys-color-on-background: rgb(226 227 216);
24
+ --md-sys-color-surface: rgb(18 20 14);
25
+ --md-sys-color-on-surface: rgb(226 227 216);
26
+ --md-sys-color-surface-variant: rgb(68 72 61);
27
+ --md-sys-color-on-surface-variant: rgb(197 200 186);
28
+ --md-sys-color-outline: rgb(143 146 133);
29
+ --md-sys-color-outline-variant: rgb(68 72 61);
30
+ --md-sys-color-shadow: rgb(0 0 0);
31
+ --md-sys-color-scrim: rgb(0 0 0);
32
+ --md-sys-color-inverse-surface: rgb(226 227 216);
33
+ --md-sys-color-inverse-on-surface: rgb(47 49 42);
34
+ --md-sys-color-inverse-primary: rgb(76 102 43);
35
+ --md-sys-color-primary-fixed: rgb(205 237 163);
36
+ --md-sys-color-on-primary-fixed: rgb(16 32 0);
37
+ --md-sys-color-primary-fixed-dim: rgb(177 209 138);
38
+ --md-sys-color-on-primary-fixed-variant: rgb(53 78 22);
39
+ --md-sys-color-secondary-fixed: rgb(220 231 200);
40
+ --md-sys-color-on-secondary-fixed: rgb(21 30 11);
41
+ --md-sys-color-secondary-fixed-dim: rgb(191 203 173);
42
+ --md-sys-color-on-secondary-fixed-variant: rgb(64 74 51);
43
+ --md-sys-color-tertiary-fixed: rgb(188 236 231);
44
+ --md-sys-color-on-tertiary-fixed: rgb(0 32 30);
45
+ --md-sys-color-tertiary-fixed-dim: rgb(160 208 203);
46
+ --md-sys-color-on-tertiary-fixed-variant: rgb(31 78 75);
47
+ --md-sys-color-surface-dim: rgb(18 20 14);
48
+ --md-sys-color-surface-bright: rgb(56 58 50);
49
+ --md-sys-color-surface-container-lowest: rgb(12 15 9);
50
+ --md-sys-color-surface-container-low: rgb(26 28 22);
51
+ --md-sys-color-surface-container: rgb(30 32 26);
52
+ --md-sys-color-surface-container-high: rgb(40 43 36);
53
+ --md-sys-color-surface-container-highest: rgb(51 54 46);
54
+ }
54
55
  `;
55
56
  //# sourceMappingURL=green-dark.js.map
package/dist/frontend/state/themes/green-dark.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"green-dark.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/green-dark.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDjB,CAAC"}
1
+ {"version":3,"file":"green-dark.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/green-dark.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDjB,CAAC"}
package/dist/frontend/state/themes/green-light.js CHANGED
@@ -1,55 +1,56 @@
1
1
  import { css } from "lit";
2
2
  export default css `
3
- :root, :host {
4
- --md-sys-color-primary: rgb(76 102 43);
5
- --md-sys-color-surface-tint: rgb(76 102 43);
6
- --md-sys-color-on-primary: rgb(255 255 255);
7
- --md-sys-color-primary-container: rgb(205 237 163);
8
- --md-sys-color-on-primary-container: rgb(53 78 22);
9
- --md-sys-color-secondary: rgb(88 98 73);
10
- --md-sys-color-on-secondary: rgb(255 255 255);
11
- --md-sys-color-secondary-container: rgb(220 231 200);
12
- --md-sys-color-on-secondary-container: rgb(64 74 51);
13
- --md-sys-color-tertiary: rgb(56 102 99);
14
- --md-sys-color-on-tertiary: rgb(255 255 255);
15
- --md-sys-color-tertiary-container: rgb(188 236 231);
16
- --md-sys-color-on-tertiary-container: rgb(31 78 75);
17
- --md-sys-color-error: rgb(186 26 26);
18
- --md-sys-color-on-error: rgb(255 255 255);
19
- --md-sys-color-error-container: rgb(255 218 214);
20
- --md-sys-color-on-error-container: rgb(147 0 10);
21
- --md-sys-color-background: rgb(249 250 239);
22
- --md-sys-color-on-background: rgb(26 28 22);
23
- --md-sys-color-surface: rgb(249 250 239);
24
- --md-sys-color-on-surface: rgb(26 28 22);
25
- --md-sys-color-surface-variant: rgb(225 228 213);
26
- --md-sys-color-on-surface-variant: rgb(68 72 61);
27
- --md-sys-color-outline: rgb(117 121 108);
28
- --md-sys-color-outline-variant: rgb(197 200 186);
29
- --md-sys-color-shadow: rgb(0 0 0);
30
- --md-sys-color-scrim: rgb(0 0 0);
31
- --md-sys-color-inverse-surface: rgb(47 49 42);
32
- --md-sys-color-inverse-on-surface: rgb(241 242 230);
33
- --md-sys-color-inverse-primary: rgb(177 209 138);
34
- --md-sys-color-primary-fixed: rgb(205 237 163);
35
- --md-sys-color-on-primary-fixed: rgb(16 32 0);
36
- --md-sys-color-primary-fixed-dim: rgb(177 209 138);
37
- --md-sys-color-on-primary-fixed-variant: rgb(53 78 22);
38
- --md-sys-color-secondary-fixed: rgb(220 231 200);
39
- --md-sys-color-on-secondary-fixed: rgb(21 30 11);
40
- --md-sys-color-secondary-fixed-dim: rgb(191 203 173);
41
- --md-sys-color-on-secondary-fixed-variant: rgb(64 74 51);
42
- --md-sys-color-tertiary-fixed: rgb(188 236 231);
43
- --md-sys-color-on-tertiary-fixed: rgb(0 32 30);
44
- --md-sys-color-tertiary-fixed-dim: rgb(160 208 203);
45
- --md-sys-color-on-tertiary-fixed-variant: rgb(31 78 75);
46
- --md-sys-color-surface-dim: rgb(218 219 208);
47
- --md-sys-color-surface-bright: rgb(249 250 239);
48
- --md-sys-color-surface-container-lowest: rgb(255 255 255);
49
- --md-sys-color-surface-container-low: rgb(243 244 233);
50
- --md-sys-color-surface-container: rgb(238 239 227);
51
- --md-sys-color-surface-container-high: rgb(232 233 222);
52
- --md-sys-color-surface-container-highest: rgb(226 227 216);
53
- }
3
+ :root,
4
+ :host {
5
+ --md-sys-color-primary: rgb(76 102 43);
6
+ --md-sys-color-surface-tint: rgb(76 102 43);
7
+ --md-sys-color-on-primary: rgb(255 255 255);
8
+ --md-sys-color-primary-container: rgb(205 237 163);
9
+ --md-sys-color-on-primary-container: rgb(53 78 22);
10
+ --md-sys-color-secondary: rgb(88 98 73);
11
+ --md-sys-color-on-secondary: rgb(255 255 255);
12
+ --md-sys-color-secondary-container: rgb(220 231 200);
13
+ --md-sys-color-on-secondary-container: rgb(64 74 51);
14
+ --md-sys-color-tertiary: rgb(56 102 99);
15
+ --md-sys-color-on-tertiary: rgb(255 255 255);
16
+ --md-sys-color-tertiary-container: rgb(188 236 231);
17
+ --md-sys-color-on-tertiary-container: rgb(31 78 75);
18
+ --md-sys-color-error: rgb(186 26 26);
19
+ --md-sys-color-on-error: rgb(255 255 255);
20
+ --md-sys-color-error-container: rgb(255 218 214);
21
+ --md-sys-color-on-error-container: rgb(147 0 10);
22
+ --md-sys-color-background: rgb(249 250 239);
23
+ --md-sys-color-on-background: rgb(26 28 22);
24
+ --md-sys-color-surface: rgb(249 250 239);
25
+ --md-sys-color-on-surface: rgb(26 28 22);
26
+ --md-sys-color-surface-variant: rgb(225 228 213);
27
+ --md-sys-color-on-surface-variant: rgb(68 72 61);
28
+ --md-sys-color-outline: rgb(117 121 108);
29
+ --md-sys-color-outline-variant: rgb(197 200 186);
30
+ --md-sys-color-shadow: rgb(0 0 0);
31
+ --md-sys-color-scrim: rgb(0 0 0);
32
+ --md-sys-color-inverse-surface: rgb(47 49 42);
33
+ --md-sys-color-inverse-on-surface: rgb(241 242 230);
34
+ --md-sys-color-inverse-primary: rgb(177 209 138);
35
+ --md-sys-color-primary-fixed: rgb(205 237 163);
36
+ --md-sys-color-on-primary-fixed: rgb(16 32 0);
37
+ --md-sys-color-primary-fixed-dim: rgb(177 209 138);
38
+ --md-sys-color-on-primary-fixed-variant: rgb(53 78 22);
39
+ --md-sys-color-secondary-fixed: rgb(220 231 200);
40
+ --md-sys-color-on-secondary-fixed: rgb(21 30 11);
41
+ --md-sys-color-secondary-fixed-dim: rgb(191 203 173);
42
+ --md-sys-color-on-secondary-fixed-variant: rgb(64 74 51);
43
+ --md-sys-color-tertiary-fixed: rgb(188 236 231);
44
+ --md-sys-color-on-tertiary-fixed: rgb(0 32 30);
45
+ --md-sys-color-tertiary-fixed-dim: rgb(160 208 203);
46
+ --md-sys-color-on-tertiary-fixed-variant: rgb(31 78 75);
47
+ --md-sys-color-surface-dim: rgb(218 219 208);
48
+ --md-sys-color-surface-bright: rgb(249 250 239);
49
+ --md-sys-color-surface-container-lowest: rgb(255 255 255);
50
+ --md-sys-color-surface-container-low: rgb(243 244 233);
51
+ --md-sys-color-surface-container: rgb(238 239 227);
52
+ --md-sys-color-surface-container-high: rgb(232 233 222);
53
+ --md-sys-color-surface-container-highest: rgb(226 227 216);
54
+ }
54
55
  `;
55
56
  //# sourceMappingURL=green-light.js.map
package/dist/frontend/state/themes/green-light.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"green-light.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/green-light.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDjB,CAAC"}
1
+ {"version":3,"file":"green-light.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/green-light.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDjB,CAAC"}
package/dist/frontend/state/themes/red-dark.js CHANGED
@@ -1,55 +1,56 @@
1
1
  import { css } from "lit";
2
2
  export default css `
3
- :root, :host {
4
- --md-sys-color-primary: rgb(255 181 160);
5
- --md-sys-color-surface-tint: rgb(255 181 160);
6
- --md-sys-color-on-primary: rgb(86 31 15);
7
- --md-sys-color-primary-container: rgb(114 53 35);
8
- --md-sys-color-on-primary-container: rgb(255 219 209);
9
- --md-sys-color-secondary: rgb(231 189 178);
10
- --md-sys-color-on-secondary: rgb(68 42 34);
11
- --md-sys-color-secondary-container: rgb(93 64 55);
12
- --md-sys-color-on-secondary-container: rgb(255 219 209);
13
- --md-sys-color-tertiary: rgb(216 197 141);
14
- --md-sys-color-on-tertiary: rgb(59 47 5);
15
- --md-sys-color-tertiary-container: rgb(83 70 25);
16
- --md-sys-color-on-tertiary-container: rgb(245 225 167);
17
- --md-sys-color-error: rgb(255 180 171);
18
- --md-sys-color-on-error: rgb(105 0 5);
19
- --md-sys-color-error-container: rgb(147 0 10);
20
- --md-sys-color-on-error-container: rgb(255 218 214);
21
- --md-sys-color-background: rgb(26 17 15);
22
- --md-sys-color-on-background: rgb(241 223 218);
23
- --md-sys-color-surface: rgb(26 17 15);
24
- --md-sys-color-on-surface: rgb(241 223 218);
25
- --md-sys-color-surface-variant: rgb(83 67 63);
26
- --md-sys-color-on-surface-variant: rgb(216 194 188);
27
- --md-sys-color-outline: rgb(160 140 135);
28
- --md-sys-color-outline-variant: rgb(83 67 63);
29
- --md-sys-color-shadow: rgb(0 0 0);
30
- --md-sys-color-scrim: rgb(0 0 0);
31
- --md-sys-color-inverse-surface: rgb(241 223 218);
32
- --md-sys-color-inverse-on-surface: rgb(57 46 43);
33
- --md-sys-color-inverse-primary: rgb(143 76 56);
34
- --md-sys-color-primary-fixed: rgb(255 219 209);
35
- --md-sys-color-on-primary-fixed: rgb(58 11 1);
36
- --md-sys-color-primary-fixed-dim: rgb(255 181 160);
37
- --md-sys-color-on-primary-fixed-variant: rgb(114 53 35);
38
- --md-sys-color-secondary-fixed: rgb(255 219 209);
39
- --md-sys-color-on-secondary-fixed: rgb(44 21 15);
40
- --md-sys-color-secondary-fixed-dim: rgb(231 189 178);
41
- --md-sys-color-on-secondary-fixed-variant: rgb(93 64 55);
42
- --md-sys-color-tertiary-fixed: rgb(245 225 167);
43
- --md-sys-color-on-tertiary-fixed: rgb(35 27 0);
44
- --md-sys-color-tertiary-fixed-dim: rgb(216 197 141);
45
- --md-sys-color-on-tertiary-fixed-variant: rgb(83 70 25);
46
- --md-sys-color-surface-dim: rgb(26 17 15);
47
- --md-sys-color-surface-bright: rgb(66 55 52);
48
- --md-sys-color-surface-container-lowest: rgb(20 12 10);
49
- --md-sys-color-surface-container-low: rgb(35 25 23);
50
- --md-sys-color-surface-container: rgb(39 29 27);
51
- --md-sys-color-surface-container-high: rgb(50 40 37);
52
- --md-sys-color-surface-container-highest: rgb(61 50 47);
53
- }
3
+ :root,
4
+ :host {
5
+ --md-sys-color-primary: rgb(255 181 160);
6
+ --md-sys-color-surface-tint: rgb(255 181 160);
7
+ --md-sys-color-on-primary: rgb(86 31 15);
8
+ --md-sys-color-primary-container: rgb(114 53 35);
9
+ --md-sys-color-on-primary-container: rgb(255 219 209);
10
+ --md-sys-color-secondary: rgb(231 189 178);
11
+ --md-sys-color-on-secondary: rgb(68 42 34);
12
+ --md-sys-color-secondary-container: rgb(93 64 55);
13
+ --md-sys-color-on-secondary-container: rgb(255 219 209);
14
+ --md-sys-color-tertiary: rgb(216 197 141);
15
+ --md-sys-color-on-tertiary: rgb(59 47 5);
16
+ --md-sys-color-tertiary-container: rgb(83 70 25);
17
+ --md-sys-color-on-tertiary-container: rgb(245 225 167);
18
+ --md-sys-color-error: rgb(255 180 171);
19
+ --md-sys-color-on-error: rgb(105 0 5);
20
+ --md-sys-color-error-container: rgb(147 0 10);
21
+ --md-sys-color-on-error-container: rgb(255 218 214);
22
+ --md-sys-color-background: rgb(26 17 15);
23
+ --md-sys-color-on-background: rgb(241 223 218);
24
+ --md-sys-color-surface: rgb(26 17 15);
25
+ --md-sys-color-on-surface: rgb(241 223 218);
26
+ --md-sys-color-surface-variant: rgb(83 67 63);
27
+ --md-sys-color-on-surface-variant: rgb(216 194 188);
28
+ --md-sys-color-outline: rgb(160 140 135);
29
+ --md-sys-color-outline-variant: rgb(83 67 63);
30
+ --md-sys-color-shadow: rgb(0 0 0);
31
+ --md-sys-color-scrim: rgb(0 0 0);
32
+ --md-sys-color-inverse-surface: rgb(241 223 218);
33
+ --md-sys-color-inverse-on-surface: rgb(57 46 43);
34
+ --md-sys-color-inverse-primary: rgb(143 76 56);
35
+ --md-sys-color-primary-fixed: rgb(255 219 209);
36
+ --md-sys-color-on-primary-fixed: rgb(58 11 1);
37
+ --md-sys-color-primary-fixed-dim: rgb(255 181 160);
38
+ --md-sys-color-on-primary-fixed-variant: rgb(114 53 35);
39
+ --md-sys-color-secondary-fixed: rgb(255 219 209);
40
+ --md-sys-color-on-secondary-fixed: rgb(44 21 15);
41
+ --md-sys-color-secondary-fixed-dim: rgb(231 189 178);
42
+ --md-sys-color-on-secondary-fixed-variant: rgb(93 64 55);
43
+ --md-sys-color-tertiary-fixed: rgb(245 225 167);
44
+ --md-sys-color-on-tertiary-fixed: rgb(35 27 0);
45
+ --md-sys-color-tertiary-fixed-dim: rgb(216 197 141);
46
+ --md-sys-color-on-tertiary-fixed-variant: rgb(83 70 25);
47
+ --md-sys-color-surface-dim: rgb(26 17 15);
48
+ --md-sys-color-surface-bright: rgb(66 55 52);
49
+ --md-sys-color-surface-container-lowest: rgb(20 12 10);
50
+ --md-sys-color-surface-container-low: rgb(35 25 23);
51
+ --md-sys-color-surface-container: rgb(39 29 27);
52
+ --md-sys-color-surface-container-high: rgb(50 40 37);
53
+ --md-sys-color-surface-container-highest: rgb(61 50 47);
54
+ }
54
55
  `;
55
56
  //# sourceMappingURL=red-dark.js.map
package/dist/frontend/state/themes/red-dark.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"red-dark.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/red-dark.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDjB,CAAC"}
1
+ {"version":3,"file":"red-dark.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/red-dark.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDjB,CAAC"}
package/dist/frontend/state/themes/red-light.js CHANGED
@@ -1,55 +1,56 @@
1
1
  import { css } from "lit";
2
2
  export default css `
3
- :root, :host {
4
- --md-sys-color-primary: rgb(143 76 56);
5
- --md-sys-color-surface-tint: rgb(143 76 56);
6
- --md-sys-color-on-primary: rgb(255 255 255);
7
- --md-sys-color-primary-container: rgb(255 219 209);
8
- --md-sys-color-on-primary-container: rgb(114 53 35);
9
- --md-sys-color-secondary: rgb(119 87 78);
10
- --md-sys-color-on-secondary: rgb(255 255 255);
11
- --md-sys-color-secondary-container: rgb(255 219 209);
12
- --md-sys-color-on-secondary-container: rgb(93 64 55);
13
- --md-sys-color-tertiary: rgb(108 93 47);
14
- --md-sys-color-on-tertiary: rgb(255 255 255);
15
- --md-sys-color-tertiary-container: rgb(245 225 167);
16
- --md-sys-color-on-tertiary-container: rgb(83 70 25);
17
- --md-sys-color-error: rgb(186 26 26);
18
- --md-sys-color-on-error: rgb(255 255 255);
19
- --md-sys-color-error-container: rgb(255 218 214);
20
- --md-sys-color-on-error-container: rgb(147 0 10);
21
- --md-sys-color-background: rgb(255 248 246);
22
- --md-sys-color-on-background: rgb(35 25 23);
23
- --md-sys-color-surface: rgb(255 248 246);
24
- --md-sys-color-on-surface: rgb(35 25 23);
25
- --md-sys-color-surface-variant: rgb(245 222 216);
26
- --md-sys-color-on-surface-variant: rgb(83 67 63);
27
- --md-sys-color-outline: rgb(133 115 110);
28
- --md-sys-color-outline-variant: rgb(216 194 188);
29
- --md-sys-color-shadow: rgb(0 0 0);
30
- --md-sys-color-scrim: rgb(0 0 0);
31
- --md-sys-color-inverse-surface: rgb(57 46 43);
32
- --md-sys-color-inverse-on-surface: rgb(255 237 232);
33
- --md-sys-color-inverse-primary: rgb(255 181 160);
34
- --md-sys-color-primary-fixed: rgb(255 219 209);
35
- --md-sys-color-on-primary-fixed: rgb(58 11 1);
36
- --md-sys-color-primary-fixed-dim: rgb(255 181 160);
37
- --md-sys-color-on-primary-fixed-variant: rgb(114 53 35);
38
- --md-sys-color-secondary-fixed: rgb(255 219 209);
39
- --md-sys-color-on-secondary-fixed: rgb(44 21 15);
40
- --md-sys-color-secondary-fixed-dim: rgb(231 189 178);
41
- --md-sys-color-on-secondary-fixed-variant: rgb(93 64 55);
42
- --md-sys-color-tertiary-fixed: rgb(245 225 167);
43
- --md-sys-color-on-tertiary-fixed: rgb(35 27 0);
44
- --md-sys-color-tertiary-fixed-dim: rgb(216 197 141);
45
- --md-sys-color-on-tertiary-fixed-variant: rgb(83 70 25);
46
- --md-sys-color-surface-dim: rgb(232 214 210);
47
- --md-sys-color-surface-bright: rgb(255 248 246);
48
- --md-sys-color-surface-container-lowest: rgb(255 255 255);
49
- --md-sys-color-surface-container-low: rgb(255 241 237);
50
- --md-sys-color-surface-container: rgb(252 234 229);
51
- --md-sys-color-surface-container-high: rgb(247 228 224);
52
- --md-sys-color-surface-container-highest: rgb(241 223 218);
53
- }
3
+ :root,
4
+ :host {
5
+ --md-sys-color-primary: rgb(143 76 56);
6
+ --md-sys-color-surface-tint: rgb(143 76 56);
7
+ --md-sys-color-on-primary: rgb(255 255 255);
8
+ --md-sys-color-primary-container: rgb(255 219 209);
9
+ --md-sys-color-on-primary-container: rgb(114 53 35);
10
+ --md-sys-color-secondary: rgb(119 87 78);
11
+ --md-sys-color-on-secondary: rgb(255 255 255);
12
+ --md-sys-color-secondary-container: rgb(255 219 209);
13
+ --md-sys-color-on-secondary-container: rgb(93 64 55);
14
+ --md-sys-color-tertiary: rgb(108 93 47);
15
+ --md-sys-color-on-tertiary: rgb(255 255 255);
16
+ --md-sys-color-tertiary-container: rgb(245 225 167);
17
+ --md-sys-color-on-tertiary-container: rgb(83 70 25);
18
+ --md-sys-color-error: rgb(186 26 26);
19
+ --md-sys-color-on-error: rgb(255 255 255);
20
+ --md-sys-color-error-container: rgb(255 218 214);
21
+ --md-sys-color-on-error-container: rgb(147 0 10);
22
+ --md-sys-color-background: rgb(255 248 246);
23
+ --md-sys-color-on-background: rgb(35 25 23);
24
+ --md-sys-color-surface: rgb(255 248 246);
25
+ --md-sys-color-on-surface: rgb(35 25 23);
26
+ --md-sys-color-surface-variant: rgb(245 222 216);
27
+ --md-sys-color-on-surface-variant: rgb(83 67 63);
28
+ --md-sys-color-outline: rgb(133 115 110);
29
+ --md-sys-color-outline-variant: rgb(216 194 188);
30
+ --md-sys-color-shadow: rgb(0 0 0);
31
+ --md-sys-color-scrim: rgb(0 0 0);
32
+ --md-sys-color-inverse-surface: rgb(57 46 43);
33
+ --md-sys-color-inverse-on-surface: rgb(255 237 232);
34
+ --md-sys-color-inverse-primary: rgb(255 181 160);
35
+ --md-sys-color-primary-fixed: rgb(255 219 209);
36
+ --md-sys-color-on-primary-fixed: rgb(58 11 1);
37
+ --md-sys-color-primary-fixed-dim: rgb(255 181 160);
38
+ --md-sys-color-on-primary-fixed-variant: rgb(114 53 35);
39
+ --md-sys-color-secondary-fixed: rgb(255 219 209);
40
+ --md-sys-color-on-secondary-fixed: rgb(44 21 15);
41
+ --md-sys-color-secondary-fixed-dim: rgb(231 189 178);
42
+ --md-sys-color-on-secondary-fixed-variant: rgb(93 64 55);
43
+ --md-sys-color-tertiary-fixed: rgb(245 225 167);
44
+ --md-sys-color-on-tertiary-fixed: rgb(35 27 0);
45
+ --md-sys-color-tertiary-fixed-dim: rgb(216 197 141);
46
+ --md-sys-color-on-tertiary-fixed-variant: rgb(83 70 25);
47
+ --md-sys-color-surface-dim: rgb(232 214 210);
48
+ --md-sys-color-surface-bright: rgb(255 248 246);
49
+ --md-sys-color-surface-container-lowest: rgb(255 255 255);
50
+ --md-sys-color-surface-container-low: rgb(255 241 237);
51
+ --md-sys-color-surface-container: rgb(252 234 229);
52
+ --md-sys-color-surface-container-high: rgb(247 228 224);
53
+ --md-sys-color-surface-container-highest: rgb(241 223 218);
54
+ }
54
55
  `;
55
56
  //# sourceMappingURL=red-light.js.map
package/dist/frontend/state/themes/red-light.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"red-light.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/red-light.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDjB,CAAC"}
1
+ {"version":3,"file":"red-light.js","sourceRoot":"","sources":["../../../../src/frontend/state/themes/red-light.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,KAAK,CAAC;AAE1B,eAAe,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDjB,CAAC"}
package/dist/util/Logging.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"Logging.js","sourceRoot":"","sources":["../../src/util/Logging.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAN,IAAY,OAEX;AAFD,WAAY,OAAO;IACf,uCAAK,CAAA;IAAE,uCAAK,CAAA;IAAE,+CAAS,CAAA;AAC3B,CAAC,EAFW,OAAO,KAAP,OAAO,QAElB;AAED,MAAM,WAAW,GAAW,OAAO,CAAC,GAAG,CAAC,QAAQ,IAAI,aAAa,CAAC;AAClE,gCAAgC;AAChC,MAAM,UAAU,GAAG,WAAW,KAAK,YAAY,CAAC;AAEhD;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,OAAgB,EAAE,GAAG,IAAW;IACvD,MAAM,KAAK,GAAG,UAAU,IAAI,OAAO,KAAK,OAAO,CAAC,KAAK,CAAC;IACtD,IAAI,KAAK,EAAE,CAAC;QACR,IAAI,OAAO,KAAK,OAAO,CAAC,KAAK,EAAE,CAAC;YAC5B,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;QAC3B,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QACzB,CAAC;IACL,CAAC;AACL,CAAC"}
1
+ {"version":3,"file":"Logging.js","sourceRoot":"","sources":["../../src/util/Logging.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAN,IAAY,OAIX;AAJD,WAAY,OAAO;IACf,uCAAK,CAAA;IACL,uCAAK,CAAA;IACL,+CAAS,CAAA;AACb,CAAC,EAJW,OAAO,KAAP,OAAO,QAIlB;AAED,MAAM,WAAW,GAAW,OAAO,CAAC,GAAG,CAAC,QAAQ,IAAI,aAAa,CAAC;AAClE,gCAAgC;AAChC,MAAM,UAAU,GAAG,WAAW,KAAK,YAAY,CAAC;AAEhD;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,OAAgB,EAAE,GAAG,IAAW;IACvD,MAAM,KAAK,GAAG,UAAU,IAAI,OAAO,KAAK,OAAO,CAAC,KAAK,CAAC;IACtD,IAAI,KAAK,EAAE,CAAC;QACR,IAAI,OAAO,KAAK,OAAO,CAAC,KAAK,EAAE,CAAC;YAC5B,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;QAC3B,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QACzB,CAAC;IACL,CAAC;AACL,CAAC"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@dodona/papyros",
3
- "version": "4.0.3",
3
+ "version": "4.0.5",
4
4
  "private": false,
5
5
  "homepage": ".",
6
6
  "devDependencies": {
@@ -12,8 +12,13 @@
12
12
  "@types/serviceworker": "^0.0.154",
13
13
  "@vitest/browser": "^3.2.4",
14
14
  "eslint": "^9.17.0",
15
+ "eslint-config-prettier": "^10.1.8",
16
+ "eslint-plugin-lit": "^2.1.1",
17
+ "eslint-plugin-wc": "^3.0.2",
18
+ "eslint-plugin-prettier": "^5.5.4",
15
19
  "globals": "^16.0.0",
16
20
  "playwright": "^1.55.1",
21
+ "prettier": "^3.6.2",
17
22
  "typescript": "^5.2.2",
18
23
  "typescript-eslint": "^8.21.0",
19
24
  "vite": "^7.1.5",
@@ -30,7 +35,7 @@
30
35
  "@codemirror/state": "^6.3.2",
31
36
  "@codemirror/view": "^6.28.0",
32
37
  "@dodona/lit-state": "^1.1.1",
33
- "@dodona/trace-component": "1.3.1",
38
+ "@dodona/trace-component": "1.3.2",
34
39
  "@material/web": "^2.4.0",
35
40
  "codemirror-readonly-ranges": "^0.1.0-alpha.2",
36
41
  "comlink": "^4.4.1",