@dodona/papyros 4.0.4 → 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 (85) 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 +7 -6
  66. package/dist/frontend/state/InputOutput.js.map +1 -1
  67. package/dist/frontend/state/Papyros.js.map +1 -1
  68. package/dist/frontend/state/Runner.js +29 -18
  69. package/dist/frontend/state/Runner.js.map +1 -1
  70. package/dist/frontend/state/Translations.js +156 -157
  71. package/dist/frontend/state/Translations.js.map +1 -1
  72. package/dist/frontend/state/themes/blue-dark.js +52 -51
  73. package/dist/frontend/state/themes/blue-dark.js.map +1 -1
  74. package/dist/frontend/state/themes/blue-light.js +52 -51
  75. package/dist/frontend/state/themes/blue-light.js.map +1 -1
  76. package/dist/frontend/state/themes/green-dark.js +52 -51
  77. package/dist/frontend/state/themes/green-dark.js.map +1 -1
  78. package/dist/frontend/state/themes/green-light.js +52 -51
  79. package/dist/frontend/state/themes/green-light.js.map +1 -1
  80. package/dist/frontend/state/themes/red-dark.js +52 -51
  81. package/dist/frontend/state/themes/red-dark.js.map +1 -1
  82. package/dist/frontend/state/themes/red-light.js +52 -51
  83. package/dist/frontend/state/themes/red-light.js.map +1 -1
  84. package/dist/util/Logging.js.map +1 -1
  85. package/package.json +7 -2
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.4",
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",