@dodona/papyros 4.1.0 → 4.1.1

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 (168) hide show
  1. package/dist/assets/__vite-browser-external-9wXp6ZBx.js +1 -0
  2. package/dist/assets/__vite-browser-external-BIHI7g3E.js +1 -0
  3. package/dist/assets/index-C1AWjGcU.js +2202 -0
  4. package/dist/assets/manifest-BaVmi6rC.json +15 -0
  5. package/dist/assets/python_package.tar.gz-B8aMWvGt.load_by_url +0 -0
  6. package/dist/assets/worker-BhABRh01.js +5 -0
  7. package/dist/assets/worker-C2Ju1j5g.js +110 -0
  8. package/dist/index.html +26 -0
  9. package/dist/manifest.json +15 -0
  10. package/dist/robots.txt +3 -0
  11. package/package.json +1 -1
  12. package/dist/Library.d.ts +0 -11
  13. package/dist/Library.js +0 -11
  14. package/dist/Library.js.map +0 -1
  15. package/dist/ProgrammingLanguage.d.ts +0 -7
  16. package/dist/ProgrammingLanguage.js +0 -9
  17. package/dist/ProgrammingLanguage.js.map +0 -1
  18. package/dist/backend/Backend.d.ts +0 -92
  19. package/dist/backend/Backend.js +0 -79
  20. package/dist/backend/Backend.js.map +0 -1
  21. package/dist/backend/workers/javascript/JavaScriptWorker.d.ts +0 -39
  22. package/dist/backend/workers/javascript/JavaScriptWorker.js +0 -158
  23. package/dist/backend/workers/javascript/JavaScriptWorker.js.map +0 -1
  24. package/dist/backend/workers/javascript/worker.d.ts +0 -1
  25. package/dist/backend/workers/javascript/worker.js +0 -5
  26. package/dist/backend/workers/javascript/worker.js.map +0 -1
  27. package/dist/backend/workers/python/PythonWorker.d.ts +0 -32
  28. package/dist/backend/workers/python/PythonWorker.js +0 -117
  29. package/dist/backend/workers/python/PythonWorker.js.map +0 -1
  30. package/dist/backend/workers/python/python_package.tar.gz.load_by_url +0 -0
  31. package/dist/backend/workers/python/worker.d.ts +0 -1
  32. package/dist/backend/workers/python/worker.js +0 -5
  33. package/dist/backend/workers/python/worker.js.map +0 -1
  34. package/dist/communication/BackendEvent.d.ts +0 -33
  35. package/dist/communication/BackendEvent.js +0 -18
  36. package/dist/communication/BackendEvent.js.map +0 -1
  37. package/dist/communication/BackendEventQueue.d.ts +0 -59
  38. package/dist/communication/BackendEventQueue.js +0 -96
  39. package/dist/communication/BackendEventQueue.js.map +0 -1
  40. package/dist/communication/BackendManager.d.ts +0 -68
  41. package/dist/communication/BackendManager.js +0 -99
  42. package/dist/communication/BackendManager.js.map +0 -1
  43. package/dist/communication/InputServiceWorker.d.ts +0 -1
  44. package/dist/communication/InputServiceWorker.js +0 -37
  45. package/dist/communication/InputServiceWorker.js.map +0 -1
  46. package/dist/communication/InputWorker.d.ts +0 -22
  47. package/dist/communication/InputWorker.js +0 -63
  48. package/dist/communication/InputWorker.js.map +0 -1
  49. package/dist/frontend/components/CodeRunner.d.ts +0 -9
  50. package/dist/frontend/components/CodeRunner.js +0 -60
  51. package/dist/frontend/components/CodeRunner.js.map +0 -1
  52. package/dist/frontend/components/Debugger.d.ts +0 -7
  53. package/dist/frontend/components/Debugger.js +0 -75
  54. package/dist/frontend/components/Debugger.js.map +0 -1
  55. package/dist/frontend/components/Input.d.ts +0 -13
  56. package/dist/frontend/components/Input.js +0 -60
  57. package/dist/frontend/components/Input.js.map +0 -1
  58. package/dist/frontend/components/Output.d.ts +0 -14
  59. package/dist/frontend/components/Output.js +0 -157
  60. package/dist/frontend/components/Output.js.map +0 -1
  61. package/dist/frontend/components/PapyrosElement.d.ts +0 -8
  62. package/dist/frontend/components/PapyrosElement.js +0 -24
  63. package/dist/frontend/components/PapyrosElement.js.map +0 -1
  64. package/dist/frontend/components/app/App.d.ts +0 -24
  65. package/dist/frontend/components/app/App.js +0 -207
  66. package/dist/frontend/components/app/App.js.map +0 -1
  67. package/dist/frontend/components/app/ExamplePicker.d.ts +0 -7
  68. package/dist/frontend/components/app/ExamplePicker.js +0 -36
  69. package/dist/frontend/components/app/ExamplePicker.js.map +0 -1
  70. package/dist/frontend/components/app/LanguagePicker.d.ts +0 -7
  71. package/dist/frontend/components/app/LanguagePicker.js +0 -33
  72. package/dist/frontend/components/app/LanguagePicker.js.map +0 -1
  73. package/dist/frontend/components/app/ProgrammingLanguagePicker.d.ts +0 -7
  74. package/dist/frontend/components/app/ProgrammingLanguagePicker.js +0 -38
  75. package/dist/frontend/components/app/ProgrammingLanguagePicker.js.map +0 -1
  76. package/dist/frontend/components/app/examples/JavaScriptExamples.d.ts +0 -5
  77. package/dist/frontend/components/app/examples/JavaScriptExamples.js +0 -16
  78. package/dist/frontend/components/app/examples/JavaScriptExamples.js.map +0 -1
  79. package/dist/frontend/components/app/examples/PythonExamples.d.ts +0 -14
  80. package/dist/frontend/components/app/examples/PythonExamples.js +0 -163
  81. package/dist/frontend/components/app/examples/PythonExamples.js.map +0 -1
  82. package/dist/frontend/components/app/themes/ThemePicker.d.ts +0 -11
  83. package/dist/frontend/components/app/themes/ThemePicker.js +0 -48
  84. package/dist/frontend/components/app/themes/ThemePicker.js.map +0 -1
  85. package/dist/frontend/components/app/themes/ThemedButton.d.ts +0 -9
  86. package/dist/frontend/components/app/themes/ThemedButton.js +0 -53
  87. package/dist/frontend/components/app/themes/ThemedButton.js.map +0 -1
  88. package/dist/frontend/components/code_mirror/BatchInputEditor.d.ts +0 -8
  89. package/dist/frontend/components/code_mirror/BatchInputEditor.js +0 -51
  90. package/dist/frontend/components/code_mirror/BatchInputEditor.js.map +0 -1
  91. package/dist/frontend/components/code_mirror/CodeEditor.d.ts +0 -24
  92. package/dist/frontend/components/code_mirror/CodeEditor.js +0 -200
  93. package/dist/frontend/components/code_mirror/CodeEditor.js.map +0 -1
  94. package/dist/frontend/components/code_mirror/CodeMirrorEditor.d.ts +0 -22
  95. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js +0 -111
  96. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js.map +0 -1
  97. package/dist/frontend/components/code_mirror/Extensions.d.ts +0 -15
  98. package/dist/frontend/components/code_mirror/Extensions.js +0 -164
  99. package/dist/frontend/components/code_mirror/Extensions.js.map +0 -1
  100. package/dist/frontend/components/code_mirror/MaterialTheme.d.ts +0 -5
  101. package/dist/frontend/components/code_mirror/MaterialTheme.js +0 -115
  102. package/dist/frontend/components/code_mirror/MaterialTheme.js.map +0 -1
  103. package/dist/frontend/components/code_runner/ButtonLint.d.ts +0 -9
  104. package/dist/frontend/components/code_runner/ButtonLint.js +0 -72
  105. package/dist/frontend/components/code_runner/ButtonLint.js.map +0 -1
  106. package/dist/frontend/components/code_runner/Code.d.ts +0 -7
  107. package/dist/frontend/components/code_runner/Code.js +0 -48
  108. package/dist/frontend/components/code_runner/Code.js.map +0 -1
  109. package/dist/frontend/components/code_runner/RunState.d.ts +0 -7
  110. package/dist/frontend/components/code_runner/RunState.js +0 -41
  111. package/dist/frontend/components/code_runner/RunState.js.map +0 -1
  112. package/dist/frontend/components/input/BatchInput.d.ts +0 -9
  113. package/dist/frontend/components/input/BatchInput.js +0 -53
  114. package/dist/frontend/components/input/BatchInput.js.map +0 -1
  115. package/dist/frontend/components/input/InteractiveInput.d.ts +0 -13
  116. package/dist/frontend/components/input/InteractiveInput.js +0 -71
  117. package/dist/frontend/components/input/InteractiveInput.js.map +0 -1
  118. package/dist/frontend/state/Constants.d.ts +0 -38
  119. package/dist/frontend/state/Constants.js +0 -111
  120. package/dist/frontend/state/Constants.js.map +0 -1
  121. package/dist/frontend/state/Debugger.d.ts +0 -23
  122. package/dist/frontend/state/Debugger.js +0 -86
  123. package/dist/frontend/state/Debugger.js.map +0 -1
  124. package/dist/frontend/state/Examples.d.ts +0 -11
  125. package/dist/frontend/state/Examples.js +0 -36
  126. package/dist/frontend/state/Examples.js.map +0 -1
  127. package/dist/frontend/state/I18n.d.ts +0 -16
  128. package/dist/frontend/state/I18n.js +0 -75
  129. package/dist/frontend/state/I18n.js.map +0 -1
  130. package/dist/frontend/state/InputOutput.d.ts +0 -64
  131. package/dist/frontend/state/InputOutput.js +0 -146
  132. package/dist/frontend/state/InputOutput.js.map +0 -1
  133. package/dist/frontend/state/Papyros.d.ts +0 -40
  134. package/dist/frontend/state/Papyros.js +0 -115
  135. package/dist/frontend/state/Papyros.js.map +0 -1
  136. package/dist/frontend/state/Runner.d.ts +0 -123
  137. package/dist/frontend/state/Runner.js +0 -372
  138. package/dist/frontend/state/Runner.js.map +0 -1
  139. package/dist/frontend/state/Test.d.ts +0 -10
  140. package/dist/frontend/state/Test.js +0 -43
  141. package/dist/frontend/state/Test.js.map +0 -1
  142. package/dist/frontend/state/Translations.d.ts +0 -178
  143. package/dist/frontend/state/Translations.js +0 -187
  144. package/dist/frontend/state/Translations.js.map +0 -1
  145. package/dist/frontend/state/themes/blue-dark.d.ts +0 -2
  146. package/dist/frontend/state/themes/blue-dark.js +0 -56
  147. package/dist/frontend/state/themes/blue-dark.js.map +0 -1
  148. package/dist/frontend/state/themes/blue-light.d.ts +0 -2
  149. package/dist/frontend/state/themes/blue-light.js +0 -56
  150. package/dist/frontend/state/themes/blue-light.js.map +0 -1
  151. package/dist/frontend/state/themes/green-dark.d.ts +0 -2
  152. package/dist/frontend/state/themes/green-dark.js +0 -56
  153. package/dist/frontend/state/themes/green-dark.js.map +0 -1
  154. package/dist/frontend/state/themes/green-light.d.ts +0 -2
  155. package/dist/frontend/state/themes/green-light.js +0 -56
  156. package/dist/frontend/state/themes/green-light.js.map +0 -1
  157. package/dist/frontend/state/themes/red-dark.d.ts +0 -2
  158. package/dist/frontend/state/themes/red-dark.js +0 -56
  159. package/dist/frontend/state/themes/red-dark.js.map +0 -1
  160. package/dist/frontend/state/themes/red-light.d.ts +0 -2
  161. package/dist/frontend/state/themes/red-light.js +0 -56
  162. package/dist/frontend/state/themes/red-light.js.map +0 -1
  163. package/dist/util/Logging.d.ts +0 -15
  164. package/dist/util/Logging.js +0 -30
  165. package/dist/util/Logging.js.map +0 -1
  166. package/dist/util/Util.d.ts +0 -8
  167. package/dist/util/Util.js +0 -48
  168. package/dist/util/Util.js.map +0 -1
@@ -1,111 +0,0 @@
1
- var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
2
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
- else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
- return c > 3 && r && Object.defineProperty(target, key, r), r;
6
- };
7
- import { LitElement } from "lit";
8
- import { customElement } from "lit/decorators.js";
9
- import { EditorView, placeholder } from "@codemirror/view";
10
- import { Compartment, EditorState, StateEffect } from "@codemirror/state";
11
- let CodeMirrorEditor = class CodeMirrorEditor extends LitElement {
12
- constructor() {
13
- super(...arguments);
14
- this.__value = "";
15
- this.__readonly = false;
16
- this.compartments = new Map();
17
- this.extensions = new Map();
18
- }
19
- set value(value) {
20
- if (this.__value === value)
21
- return;
22
- this.__value = value;
23
- if (!this.view)
24
- return;
25
- this.dispatchChange();
26
- }
27
- set readonly(readonly) {
28
- this.configure({
29
- editable: EditorView.editable.of(!readonly),
30
- });
31
- this.__readonly = readonly;
32
- }
33
- dispatchChange() {
34
- if (!this.view)
35
- return;
36
- this.configure({ editable: EditorView.editable.of(false) });
37
- this.view.dispatch({
38
- changes: {
39
- from: 0,
40
- to: this.view.state.doc.length,
41
- insert: this.__value,
42
- },
43
- });
44
- this.configure({ editable: EditorView.editable.of(!this.__readonly) });
45
- }
46
- get value() {
47
- return this.__value;
48
- }
49
- set placeholder(value) {
50
- this.configure({
51
- placeholder: placeholder(value),
52
- });
53
- }
54
- set theme(theme) {
55
- this.configure({ theme: theme });
56
- }
57
- set translations(translations) {
58
- this.configure({ translations: EditorState.phrases.of(translations) });
59
- }
60
- initView() {
61
- this.view = new EditorView({
62
- parent: this.shadowRoot,
63
- state: EditorState.create({
64
- doc: this.__value,
65
- extensions: [
66
- EditorView.updateListener.of(this.onViewUpdate.bind(this)),
67
- [...this.compartments.keys().map((k) => this.compartments.get(k).of([]))],
68
- ],
69
- }),
70
- });
71
- this.configure(Object.fromEntries(this.extensions));
72
- }
73
- onViewUpdate(v) {
74
- if (v.docChanged) {
75
- this.__value = v.state.doc.toString();
76
- this.dispatchEvent(new CustomEvent("change", { detail: this.value }));
77
- }
78
- }
79
- connectedCallback() {
80
- super.connectedCallback();
81
- this.initView();
82
- }
83
- disconnectedCallback() {
84
- var _a;
85
- super.disconnectedCallback();
86
- (_a = this.view) === null || _a === void 0 ? void 0 : _a.destroy();
87
- this.view = undefined;
88
- }
89
- configure(extensions) {
90
- Object.entries(extensions).forEach(([key, ext]) => {
91
- this.extensions.set(key, ext);
92
- });
93
- const effects = Object.keys(extensions).map((key) => {
94
- const extension = extensions[key];
95
- if (this.compartments.has(key)) {
96
- return this.compartments.get(key).reconfigure(extension);
97
- }
98
- const compartment = new Compartment();
99
- this.compartments.set(key, compartment);
100
- return StateEffect.appendConfig.of(compartment.of(extension));
101
- });
102
- if (this.view) {
103
- this.view.dispatch({ effects });
104
- }
105
- }
106
- };
107
- CodeMirrorEditor = __decorate([
108
- customElement("p-code-mirror-editor")
109
- ], CodeMirrorEditor);
110
- export { CodeMirrorEditor };
111
- //# sourceMappingURL=CodeMirrorEditor.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"CodeMirrorEditor.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/CodeMirrorEditor.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,KAAK,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAc,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAa,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAG9E,IAAM,gBAAgB,GAAtB,MAAM,gBAAiB,SAAQ,UAAU;IAAzC;;QACK,YAAO,GAAW,EAAE,CAAC;QACrB,eAAU,GAAY,KAAK,CAAC;QAEjB,iBAAY,GAA6B,IAAI,GAAG,EAAE,CAAC;QACnD,eAAU,GAA2B,IAAI,GAAG,EAAE,CAAC;IAoGtE,CAAC;IAlGG,IAAW,KAAK,CAAC,KAAa;QAC1B,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK;YAAE,OAAO;QACnC,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QAEvB,IAAI,CAAC,cAAc,EAAE,CAAC;IAC1B,CAAC;IAED,IAAW,QAAQ,CAAC,QAAiB;QACjC,IAAI,CAAC,SAAS,CAAC;YACX,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC;SAC9C,CAAC,CAAC;QACH,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC;IAC/B,CAAC;IAES,cAAc;QACpB,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QACvB,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;YACf,OAAO,EAAE;gBACL,IAAI,EAAE,CAAC;gBACP,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM;gBAC9B,MAAM,EAAE,IAAI,CAAC,OAAO;aACvB;SACJ,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IAED,IAAW,KAAK;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC;IACxB,CAAC;IAED,IAAI,WAAW,CAAC,KAAa;QACzB,IAAI,CAAC,SAAS,CAAC;YACX,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;IACP,CAAC;IAED,IAAI,KAAK,CAAC,KAAgB;QACtB,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,YAAY,CAAC,YAAoC;QACjD,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IAEO,QAAQ;QACZ,IAAI,CAAC,IAAI,GAAG,IAAI,UAAU,CAAC;YACvB,MAAM,EAAE,IAAI,CAAC,UAAwB;YACrC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC;gBACtB,GAAG,EAAE,IAAI,CAAC,OAAO;gBACjB,UAAU,EAAE;oBACR,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC1D,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;iBAC7E;aACJ,CAAC;SACL,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACxD,CAAC;IAEO,YAAY,CAAC,CAAa;QAC9B,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACtC,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC1E,CAAC;IACL,CAAC;IAEe,iBAAiB;QAC7B,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,IAAI,CAAC,QAAQ,EAAE,CAAC;IACpB,CAAC;IAEe,oBAAoB;;QAChC,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC7B,MAAA,IAAI,CAAC,IAAI,0CAAE,OAAO,EAAE,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC;IAC1B,CAAC;IAES,SAAS,CAAC,UAAqC;QACrD,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE;YAC9C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAgB,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YAChD,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;YAC9D,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC;YACtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YACxC,OAAO,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;QAEH,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;QACpC,CAAC;IACL,CAAC;CACJ,CAAA;AAzGY,gBAAgB;IAD5B,aAAa,CAAC,sBAAsB,CAAC;GACzB,gBAAgB,CAyG5B"}
@@ -1,15 +0,0 @@
1
- import { Extension, StateEffectType, StateField } from "@codemirror/state";
2
- export type LineEffectExtensionConfig = {
3
- lineClass?: string;
4
- gutterClass?: string;
5
- marker?: string;
6
- };
7
- export declare function lineEffectExtension(config: LineEffectExtensionConfig): [Extension, StateEffectType<number[] | undefined>, StateField<number[] | undefined>];
8
- export declare const usedLineExtension: Extension, setUsedLines: StateEffectType<number[] | undefined>, usedLineState: StateField<number[] | undefined>;
9
- export declare const debugLineExtension: Extension, setDebugLines: StateEffectType<number[] | undefined>, debugLineState: StateField<number[] | undefined>;
10
- export declare const testLineExtension: Extension, setTestLines: StateEffectType<number[] | undefined>, testLineState: StateField<number[] | undefined>;
11
- export declare function testCodeWidgetExtension(translations: {
12
- description: string;
13
- edit: string;
14
- remove: string;
15
- }, handleEdit: () => void, handleRemove: () => void): Extension;
@@ -1,164 +0,0 @@
1
- import { Decoration, EditorView, gutter, gutterLineClass, GutterMarker, ViewPlugin, WidgetType, } from "@codemirror/view";
2
- import { RangeSet, StateEffect, StateField } from "@codemirror/state";
3
- export function lineEffectExtension(config) {
4
- var _a;
5
- const setLines = StateEffect.define();
6
- let currentVal = undefined;
7
- const stateField = StateField.define({
8
- create: () => undefined,
9
- update(value, tr) {
10
- for (const effect of tr.effects) {
11
- if (effect.is(setLines)) {
12
- currentVal = effect.value;
13
- return currentVal;
14
- }
15
- }
16
- if (tr.docChanged && currentVal !== undefined) {
17
- // only return the lines that still exist
18
- return currentVal.filter((line) => line <= tr.newDoc.lines);
19
- }
20
- return value;
21
- },
22
- });
23
- const lineDecoration = Decoration.line({ class: (_a = config.lineClass) !== null && _a !== void 0 ? _a : "cm-activeLine" });
24
- const lineGutterMarker = new (class extends GutterMarker {
25
- constructor() {
26
- var _a;
27
- super(...arguments);
28
- this.elementClass = (_a = config.gutterClass) !== null && _a !== void 0 ? _a : "cm-activeLineGutter";
29
- }
30
- })();
31
- const gutterHighlighter = gutterLineClass.compute([stateField], (state) => {
32
- const lines = state.field(stateField);
33
- if (lines === undefined || lines.length === 0)
34
- return RangeSet.empty;
35
- const markers = [];
36
- for (const lineNum of lines) {
37
- if (lineNum <= state.doc.lines) {
38
- markers.push(lineGutterMarker.range(state.doc.line(lineNum).from));
39
- }
40
- }
41
- return RangeSet.of(markers);
42
- });
43
- const lineDecorationPlugin = ViewPlugin.fromClass(class {
44
- constructor(view) {
45
- this.decorations = this.getDecorations(view.state);
46
- }
47
- update(update) {
48
- if (update.state.field(stateField) !== update.startState.field(stateField)) {
49
- this.decorations = this.getDecorations(update.state);
50
- }
51
- }
52
- getDecorations(state) {
53
- const lines = state.field(stateField);
54
- if (lines === undefined || lines.length === 0)
55
- return Decoration.none;
56
- const decorations = [];
57
- for (const lineNum of lines) {
58
- if (lineNum <= state.doc.lines) {
59
- decorations.push(lineDecoration.range(state.doc.line(lineNum).from));
60
- }
61
- }
62
- return Decoration.set(decorations);
63
- }
64
- }, {
65
- decorations: (v) => v.decorations,
66
- });
67
- const extensions = [stateField, gutterHighlighter, lineDecorationPlugin];
68
- if (config.marker !== undefined) {
69
- class CustomMarker extends GutterMarker {
70
- toDOM() {
71
- const element = document.createElement("div");
72
- element.textContent = config.marker;
73
- return element;
74
- }
75
- }
76
- const customMarker = new CustomMarker();
77
- const customGutter = gutter({
78
- class: "cm-custom-gutter",
79
- markers: () => {
80
- return RangeSet.empty;
81
- },
82
- lineMarker: (view, line) => {
83
- const lines = view.state.field(stateField);
84
- if (lines === undefined || lines.length === 0) {
85
- return null;
86
- }
87
- for (const lineNum of lines) {
88
- if (lineNum <= view.state.doc.lines && line.from === view.state.doc.line(lineNum).from) {
89
- return customMarker;
90
- }
91
- }
92
- return null;
93
- },
94
- });
95
- extensions.push(customGutter);
96
- extensions.push(EditorView.baseTheme({
97
- ".cm-custom-gutter": {
98
- width: "17px",
99
- textAlign: "center",
100
- },
101
- }));
102
- }
103
- return [extensions, setLines, stateField];
104
- }
105
- export const [usedLineExtension, setUsedLines, usedLineState] = lineEffectExtension({ marker: "✔" });
106
- export const [debugLineExtension, setDebugLines, debugLineState] = lineEffectExtension({ marker: "▶" });
107
- export const [testLineExtension, setTestLines, testLineState] = lineEffectExtension({
108
- lineClass: "papyros-test-line",
109
- gutterClass: "",
110
- });
111
- export function testCodeWidgetExtension(translations, handleEdit, handleRemove) {
112
- class TestCodeWidget extends WidgetType {
113
- toDOM() {
114
- const element = document.createElement("div");
115
- element.classList.add("papyros-test-code-widget");
116
- const span = document.createElement("span");
117
- span.innerText = translations.description;
118
- element.appendChild(span);
119
- const buttons = document.createElement("div");
120
- buttons.classList.add("papyros-test-code-buttons");
121
- const editButton = document.createElement("a");
122
- editButton.classList.add("papyros-icon-link");
123
- editButton.innerHTML = "🖉";
124
- editButton.addEventListener("click", handleEdit);
125
- editButton.title = translations.edit;
126
- buttons.appendChild(editButton);
127
- const deleteButton = document.createElement("a");
128
- deleteButton.classList.add("papyros-icon-link");
129
- deleteButton.innerHTML = "⨯";
130
- deleteButton.addEventListener("click", handleRemove);
131
- deleteButton.title = translations.remove;
132
- buttons.appendChild(deleteButton);
133
- element.appendChild(buttons);
134
- return element;
135
- }
136
- ignoreEvent() {
137
- return false;
138
- }
139
- }
140
- const testCodeDecoration = Decoration.widget({ widget: new TestCodeWidget(), side: -1, block: true });
141
- function getDecorations(state) {
142
- const lines = state.field(testLineState);
143
- if (!lines || lines.length === 0)
144
- return Decoration.none;
145
- const minLine = Math.min(...lines);
146
- if (minLine > state.doc.lines)
147
- return Decoration.none;
148
- return Decoration.set([testCodeDecoration.range(state.doc.line(minLine).from)]);
149
- }
150
- return StateField.define({
151
- create(state) {
152
- return getDecorations(state);
153
- },
154
- update(deco, tr) {
155
- for (const effect of tr.effects) {
156
- if (effect.is(setTestLines) || tr.docChanged)
157
- return getDecorations(tr.state);
158
- }
159
- return deco.map(tr.changes);
160
- },
161
- provide: (f) => EditorView.decorations.from(f),
162
- });
163
- }
164
- //# sourceMappingURL=Extensions.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"Extensions.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/Extensions.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,UAAU,EAEV,UAAU,EACV,MAAM,EACN,eAAe,EACf,YAAY,EACZ,UAAU,EAEV,UAAU,GACb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAa,QAAQ,EAAE,WAAW,EAAmB,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAOlG,MAAM,UAAU,mBAAmB,CAC/B,MAAiC;;IAEjC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAwB,CAAC;IAC5D,IAAI,UAAU,GAAyB,SAAS,CAAC;IACjD,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAuB;QACvD,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS;QACvB,MAAM,CAAC,KAAK,EAAE,EAAE;YACZ,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC9B,IAAI,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACtB,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC;oBAC1B,OAAO,UAAU,CAAC;gBACtB,CAAC;YACL,CAAC;YAED,IAAI,EAAE,CAAC,UAAU,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC5C,yCAAyC;gBACzC,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChE,CAAC;YACD,OAAO,KAAK,CAAC;QACjB,CAAC;KACJ,CAAC,CAAC;IAEH,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAA,MAAM,CAAC,SAAS,mCAAI,eAAe,EAAE,CAAC,CAAC;IACvF,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAM,SAAQ,YAAY;QAA1B;;;YAC1B,iBAAY,GAAG,MAAA,MAAM,CAAC,WAAW,mCAAI,qBAAqB,CAAC;QAC/D,CAAC;KAAA,CAAC,EAAE,CAAC;IAEL,MAAM,iBAAiB,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE;QACtE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;QACrE,MAAM,OAAO,GAAG,EAAE,CAAC;QACnB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACvE,CAAC;QACL,CAAC;QACD,OAAO,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,MAAM,oBAAoB,GAAG,UAAU,CAAC,SAAS,CAC7C;QAGI,YAAY,IAAgB;YACxB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC;QAED,MAAM,CAAC,MAAkB;YACrB,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzE,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACzD,CAAC;QACL,CAAC;QAED,cAAc,CAAC,KAA0B;YACrC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YACtC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,UAAU,CAAC,IAAI,CAAC;YACtE,MAAM,WAAW,GAAG,EAAE,CAAC;YACvB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;gBAC1B,IAAI,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;oBAC7B,WAAW,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzE,CAAC;YACL,CAAC;YACD,OAAO,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACvC,CAAC;KACJ,EACD;QACI,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW;KACpC,CACJ,CAAC;IAEF,MAAM,UAAU,GAAgB,CAAC,UAAU,EAAE,iBAAiB,EAAE,oBAAoB,CAAC,CAAC;IAEtF,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,YAAa,SAAQ,YAAY;YACnC,KAAK;gBACD,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;gBAC9C,OAAO,CAAC,WAAW,GAAG,MAAM,CAAC,MAAO,CAAC;gBACrC,OAAO,OAAO,CAAC;YACnB,CAAC;SACJ;QACD,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAC;QAExC,MAAM,YAAY,GAAG,MAAM,CAAC;YACxB,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,GAAG,EAAE;gBACV,OAAO,QAAQ,CAAC,KAAK,CAAC;YAC1B,CAAC;YACD,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE;gBACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;gBAC3C,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC5C,OAAO,IAAI,CAAC;gBAChB,CAAC;gBACD,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;oBAC1B,IAAI,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;wBACrF,OAAO,YAAY,CAAC;oBACxB,CAAC;gBACL,CAAC;gBACD,OAAO,IAAI,CAAC;YAChB,CAAC;SACJ,CAAC,CAAC;QAEH,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9B,UAAU,CAAC,IAAI,CACX,UAAU,CAAC,SAAS,CAAC;YACjB,mBAAmB,EAAE;gBACjB,KAAK,EAAE,MAAM;gBACb,SAAS,EAAE,QAAQ;aACtB;SACJ,CAAC,CACL,CAAC;IACN,CAAC;IACD,OAAO,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,YAAY,EAAE,aAAa,CAAC,GAAG,mBAAmB,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACrG,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,aAAa,EAAE,cAAc,CAAC,GAAG,mBAAmB,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AACxG,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,YAAY,EAAE,aAAa,CAAC,GAAG,mBAAmB,CAAC;IAChF,SAAS,EAAE,mBAAmB;IAC9B,WAAW,EAAE,EAAE;CAClB,CAAC,CAAC;AAEH,MAAM,UAAU,uBAAuB,CACnC,YAAmE,EACnE,UAAsB,EACtB,YAAwB;IAExB,MAAM,cAAe,SAAQ,UAAU;QAC5B,KAAK;YACR,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;YAElD,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,SAAS,GAAG,YAAY,CAAC,WAAW,CAAC;YAC1C,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAE1B,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;YAEnD,MAAM,UAAU,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;YAC/C,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;YAC9C,UAAU,CAAC,SAAS,GAAG,IAAI,CAAC;YAC5B,UAAU,CAAC,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;YACjD,UAAU,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC;YACrC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YAEhC,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;YACjD,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;YAChD,YAAY,CAAC,SAAS,GAAG,GAAG,CAAC;YAC7B,YAAY,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YACrD,YAAY,CAAC,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC;YACzC,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;YAElC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YAC7B,OAAO,OAAO,CAAC;QACnB,CAAC;QAED,WAAW;YACP,OAAO,KAAK,CAAC;QACjB,CAAC;KACJ;IAED,MAAM,kBAAkB,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,cAAc,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtG,SAAS,cAAc,CAAC,KAA0B;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC,IAAI,CAAC;QACzD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QACnC,IAAI,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK;YAAE,OAAO,UAAU,CAAC,IAAI,CAAC;QACtD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpF,CAAC;IAED,OAAO,UAAU,CAAC,MAAM,CAAgB;QACpC,MAAM,CAAC,KAAK;YACR,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,CAAC,IAAI,EAAE,EAAE;YACX,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAC9B,IAAI,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,UAAU;oBAAE,OAAO,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAClF,CAAC;YACD,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;KACjD,CAAC,CAAC;AACP,CAAC"}
@@ -1,5 +0,0 @@
1
- import { HighlightStyle } from "@codemirror/language";
2
- import { Extension } from "@codemirror/state";
3
- export declare const materialTheme: Extension;
4
- export declare const materialHighlight: HighlightStyle;
5
- export declare const material: Extension;
@@ -1,115 +0,0 @@
1
- import { EditorView } from "@codemirror/view";
2
- import { HighlightStyle, syntaxHighlighting } from "@codemirror/language";
3
- import { tags } from "@lezer/highlight";
4
- export const materialTheme = EditorView.theme({
5
- ".cm-scroller": { overflow: "auto" },
6
- "&": {
7
- height: "100%", // use full height of host
8
- width: "100%", // use full width of host
9
- "font-size": "14px", // use proper size to align gutters with editor
10
- backgroundColor: "var(--md-sys-color-surface-container-highest)",
11
- color: "var(--md-sys-color-on-background)",
12
- },
13
- ".cm-gutters": {
14
- backgroundColor: "var(--md-sys-color-surface-container)",
15
- color: "var(--md-sys-color-on-surface-variant)",
16
- border: "none",
17
- fontSize: "12px",
18
- },
19
- ".cm-content": {
20
- color: "var(--md-sys-color-on-background)",
21
- },
22
- ".cm-activeLine, .cm-activeLineGutter": {
23
- backgroundColor: "color-mix(in srgb, var(--md-sys-color-primary) 10%, transparent) !important",
24
- },
25
- "&.cm-focused": {
26
- outline: "none",
27
- },
28
- ".cm-selectionBackground": {
29
- backgroundColor: "color-mix(in srgb, var(--md-sys-color-primary) 30%, transparent) !important",
30
- },
31
- ".cm-cursor, .cm-dropCursor": {
32
- borderLeft: "1.2px solid var(--md-sys-color-secondary) !important",
33
- },
34
- ".cm-tooltip": {
35
- backgroundColor: "var(--md-sys-color-surface)",
36
- border: "none",
37
- boxShadow: "0px 2px 6px rgba(0,0,0,0.2)",
38
- "& li[aria-selected]": {
39
- backgroundColor: "var(--md-sys-color-secondary)",
40
- color: "var(--md-sys-color-on-secondary)",
41
- },
42
- },
43
- ".cm-panels": {
44
- backgroundColor: "var(--md-sys-color-surface-container)",
45
- color: "var(--md-sys-color-on-surface)",
46
- border: "none",
47
- },
48
- ".cm-searchMatch": {
49
- backgroundColor: "color-mix(in srgb, var(--md-sys-color-secondary) 30%, transparent)",
50
- },
51
- ".cm-searchMatch.cm-searchMatch-selected": {
52
- backgroundColor: "color-mix(in srgb, var(--md-sys-color-surface-variant) 30%, transparent)",
53
- outline: "1px solid var(--md-sys-color-outline)",
54
- },
55
- ".cm-selectionMatch": {
56
- backgroundColor: "color-mix(in srgb, var(--md-sys-color-secondary) 30%, transparent)",
57
- },
58
- ".cm-button": {
59
- background: "var(--md-sys-color-surface-variant)",
60
- color: "var(--md-sys-color-on-surface-variant)",
61
- border: "none",
62
- },
63
- ".cm-button:hover": {
64
- background: "var(--md-sys-color-secondary)",
65
- color: "var(--md-sys-color-on-secondary)",
66
- },
67
- ".cm-textfield": {
68
- background: "var(--md-sys-color-surface-variant)",
69
- color: "var(--md-sys-color-on-surface-variant)",
70
- border: "none",
71
- },
72
- ".cm-textfield:focus": {
73
- outline: "none",
74
- border: "none",
75
- boxShadow: "0 0 0 2px var(--md-sys-color-primary)",
76
- },
77
- }, { dark: false });
78
- export const materialHighlight = HighlightStyle.define([
79
- // Comments
80
- {
81
- tag: [tags.comment, tags.lineComment, tags.blockComment, tags.docComment],
82
- color: "var(--md-sys-color-on-surface-variant)",
83
- },
84
- // Keywords & operators
85
- {
86
- tag: [tags.keyword, tags.self, tags.controlKeyword, tags.operatorKeyword, tags.operator],
87
- color: "var(--md-sys-color-primary)",
88
- },
89
- { tag: [tags.definitionKeyword, tags.moduleKeyword], color: "var(--md-sys-color-primary)", fontStyle: "italic" },
90
- // Names
91
- { tag: [tags.variableName, tags.className, tags.namespace], color: "var(--md-sys-color-on-background)" },
92
- { tag: tags.standard(tags.variableName), color: "var(--md-sys-color-tertiary)", fontStyle: "italic" },
93
- { tag: [tags.function(tags.variableName), tags.attributeName], color: "var(--md-sys-color-tertiary)" },
94
- { tag: tags.typeName, color: "var(--md-sys-color-primary)" },
95
- { tag: tags.labelName, color: "var(--md-sys-color-primary)", fontStyle: "italic" },
96
- // Literals
97
- { tag: tags.string, color: "var(--md-sys-color-secondary)" },
98
- { tag: tags.number, color: "var(--md-sys-color-secondary)" },
99
- { tag: tags.regexp, color: "var(--md-sys-color-secondary)" },
100
- { tag: tags.atom, color: "var(--md-sys-color-secondary)" },
101
- { tag: tags.bool, color: "var(--md-sys-color-secondary)" },
102
- // Emphasis / headings
103
- { tag: tags.emphasis, textDecoration: "underline" },
104
- { tag: tags.strong, fontWeight: "bold" },
105
- { tag: tags.strikethrough, textDecoration: "line-through" },
106
- { tag: tags.heading, fontWeight: "bold", color: "var(--md-sys-color-on-background)" },
107
- // Errors / diffs
108
- { tag: tags.invalid, color: "var(--md-sys-color-error)" },
109
- { tag: tags.deleted, color: "var(--md-sys-color-error)" },
110
- { tag: tags.inserted, color: "var(--md-sys-color-on-background)", fontWeight: "bold" },
111
- // Punctuation
112
- { tag: [tags.punctuation, tags.separator, tags.bracket], color: "var(--md-sys-color-on-background)" },
113
- ]);
114
- export const material = [materialTheme, syntaxHighlighting(materialHighlight)];
115
- //# sourceMappingURL=MaterialTheme.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"MaterialTheme.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/MaterialTheme.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAGxC,MAAM,CAAC,MAAM,aAAa,GAAG,UAAU,CAAC,KAAK,CACzC;IACI,cAAc,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE;IACpC,GAAG,EAAE;QACD,MAAM,EAAE,MAAM,EAAE,0BAA0B;QAC1C,KAAK,EAAE,MAAM,EAAE,yBAAyB;QACxC,WAAW,EAAE,MAAM,EAAE,+CAA+C;QACpE,eAAe,EAAE,+CAA+C;QAChE,KAAK,EAAE,mCAAmC;KAC7C;IAED,aAAa,EAAE;QACX,eAAe,EAAE,uCAAuC;QACxD,KAAK,EAAE,wCAAwC;QAC/C,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,MAAM;KACnB;IAED,aAAa,EAAE;QACX,KAAK,EAAE,mCAAmC;KAC7C;IAED,sCAAsC,EAAE;QACpC,eAAe,EAAE,6EAA6E;KACjG;IAED,cAAc,EAAE;QACZ,OAAO,EAAE,MAAM;KAClB;IAED,yBAAyB,EAAE;QACvB,eAAe,EAAE,6EAA6E;KACjG;IAED,4BAA4B,EAAE;QAC1B,UAAU,EAAE,sDAAsD;KACrE;IAED,aAAa,EAAE;QACX,eAAe,EAAE,6BAA6B;QAC9C,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,6BAA6B;QAExC,qBAAqB,EAAE;YACnB,eAAe,EAAE,+BAA+B;YAChD,KAAK,EAAE,kCAAkC;SAC5C;KACJ;IAED,YAAY,EAAE;QACV,eAAe,EAAE,uCAAuC;QACxD,KAAK,EAAE,gCAAgC;QACvC,MAAM,EAAE,MAAM;KACjB;IAED,iBAAiB,EAAE;QACf,eAAe,EAAE,oEAAoE;KACxF;IACD,yCAAyC,EAAE;QACvC,eAAe,EAAE,0EAA0E;QAC3F,OAAO,EAAE,uCAAuC;KACnD;IACD,oBAAoB,EAAE;QAClB,eAAe,EAAE,oEAAoE;KACxF;IACD,YAAY,EAAE;QACV,UAAU,EAAE,qCAAqC;QACjD,KAAK,EAAE,wCAAwC;QAC/C,MAAM,EAAE,MAAM;KACjB;IACD,kBAAkB,EAAE;QAChB,UAAU,EAAE,+BAA+B;QAC3C,KAAK,EAAE,kCAAkC;KAC5C;IACD,eAAe,EAAE;QACb,UAAU,EAAE,qCAAqC;QACjD,KAAK,EAAE,wCAAwC;QAC/C,MAAM,EAAE,MAAM;KACjB;IACD,qBAAqB,EAAE;QACnB,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,uCAAuC;KACrD;CACJ,EACD,EAAE,IAAI,EAAE,KAAK,EAAE,CAClB,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,cAAc,CAAC,MAAM,CAAC;IACnD,WAAW;IACX;QACI,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC;QACzE,KAAK,EAAE,wCAAwC;KAClD;IAED,uBAAuB;IACvB;QACI,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC;QACxF,KAAK,EAAE,6BAA6B;KACvC;IACD,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,6BAA6B,EAAE,SAAS,EAAE,QAAQ,EAAE;IAEhH,QAAQ;IACR,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,mCAAmC,EAAE;IACxG,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,8BAA8B,EAAE,SAAS,EAAE,QAAQ,EAAE;IACrG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,8BAA8B,EAAE;IACtG,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,6BAA6B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,6BAA6B,EAAE,SAAS,EAAE,QAAQ,EAAE;IAElF,WAAW;IACX,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC1D,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAE1D,sBAAsB;IACtB,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,cAAc,EAAE,WAAW,EAAE;IACnD,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE;IACxC,EAAE,GAAG,EAAE,IAAI,CAAC,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE;IAC3D,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,mCAAmC,EAAE;IAErF,iBAAiB;IACjB,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,2BAA2B,EAAE;IACzD,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,2BAA2B,EAAE;IACzD,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,mCAAmC,EAAE,UAAU,EAAE,MAAM,EAAE;IAEtF,cAAc;IACd,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,mCAAmC,EAAE;CACxG,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,QAAQ,GAAc,CAAC,aAAa,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,CAAC,CAAC"}
@@ -1,9 +0,0 @@
1
- import { CSSResult, TemplateResult } from "lit";
2
- import { PapyrosElement } from "../PapyrosElement";
3
- import "@material/web/button/filled-button";
4
- import "@material/web/button/outlined-button";
5
- export declare class ButtonLint extends PapyrosElement {
6
- static get styles(): CSSResult;
7
- get buttons(): TemplateResult | TemplateResult[];
8
- protected render(): TemplateResult;
9
- }
@@ -1,72 +0,0 @@
1
- var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
2
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
- else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
- return c > 3 && r && Object.defineProperty(target, key, r), r;
6
- };
7
- import { customElement } from "lit/decorators.js";
8
- import { css, html } from "lit";
9
- import { RunState } from "../../state/Runner";
10
- import { PapyrosElement } from "../PapyrosElement";
11
- import { RunMode } from "../../../backend/Backend";
12
- import "@material/web/button/filled-button";
13
- import "@material/web/button/outlined-button";
14
- let ButtonLint = class ButtonLint extends PapyrosElement {
15
- static get styles() {
16
- return css `
17
- :host {
18
- display: flex;
19
- justify-content: space-between;
20
- height: fit-content;
21
- padding: 0.5rem;
22
- gap: 1rem;
23
- flex-wrap: wrap;
24
- }
25
-
26
- .buttons {
27
- display: flex;
28
- gap: 0.5rem;
29
- flex-wrap: wrap;
30
- }
31
- `;
32
- }
33
- get buttons() {
34
- if (this.papyros.runner.state === RunState.Ready) {
35
- if (this.papyros.debugger.active) {
36
- return html ` <md-outlined-button @click=${() => (this.papyros.debugger.active = false)}>
37
- <span slot="icon">${this.papyros.constants.icons.stopDebug}</span>
38
- ${this.t("Papyros.debug.stop")}
39
- </md-outlined-button>`;
40
- }
41
- else {
42
- return [
43
- html ` <md-filled-button @click=${() => this.papyros.runner.start(RunMode.Run)}>
44
- <span slot="icon">${this.papyros.constants.icons[RunMode.Run]}</span>
45
- ${this.t(`Papyros.run_modes.${RunMode.Run}`)}
46
- </md-filled-button>`,
47
- ...this.papyros.runner.runModes.map((mode) => html ` <md-outlined-button @click=${() => this.papyros.runner.start(mode)}>
48
- <span slot="icon">${this.papyros.constants.icons[mode]}</span>
49
- ${this.t(`Papyros.run_modes.${mode}`)}
50
- </md-outlined-button>`),
51
- ];
52
- }
53
- }
54
- else {
55
- return html ` <md-filled-button @click=${() => this.papyros.runner.stop()}>
56
- <span slot="icon">${this.papyros.constants.icons.stop}</span>
57
- ${this.t("Papyros.stop")}
58
- </md-filled-button>`;
59
- }
60
- }
61
- render() {
62
- return html `
63
- <div class="buttons">${this.buttons}</div>
64
- <div class="buttons"><slot></slot></div>
65
- `;
66
- }
67
- };
68
- ButtonLint = __decorate([
69
- customElement("p-button-lint")
70
- ], ButtonLint);
71
- export { ButtonLint };
72
- //# sourceMappingURL=ButtonLint.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"ButtonLint.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_runner/ButtonLint.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,oCAAoC,CAAC;AAC5C,OAAO,sCAAsC,CAAC;AAGvC,IAAM,UAAU,GAAhB,MAAM,UAAW,SAAQ,cAAc;IAC1C,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;;;;;;SAeT,CAAC;IACN,CAAC;IAED,IAAI,OAAO;QACP,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC/C,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAA,+BAA+B,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC;wCAC9D,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS;sBACxD,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC;sCACZ,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACJ,OAAO;oBACH,IAAI,CAAA,6BAA6B,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;4CACrD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;0BAC3D,IAAI,CAAC,CAAC,CAAC,qBAAqB,OAAO,CAAC,GAAG,EAAE,CAAC;wCAC5B;oBACpB,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAC/B,CAAC,IAAI,EAAE,EAAE,CACL,IAAI,CAAA,+BAA+B,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;oDAChD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;kCACpD,IAAI,CAAC,CAAC,CAAC,qBAAqB,IAAI,EAAE,CAAC;kDACnB,CAC7B;iBACJ,CAAC;YACN,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,OAAO,IAAI,CAAA,6BAA6B,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE;oCAChD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI;kBACnD,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC;gCACR,CAAC;QACzB,CAAC;IACL,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;mCACgB,IAAI,CAAC,OAAO;;SAEtC,CAAC;IACN,CAAC;CACJ,CAAA;AAxDY,UAAU;IADtB,aAAa,CAAC,eAAe,CAAC;GAClB,UAAU,CAwDtB"}
@@ -1,7 +0,0 @@
1
- import { CSSResult, TemplateResult } from "lit";
2
- import "../code_mirror/CodeEditor";
3
- import { PapyrosElement } from "../PapyrosElement";
4
- export declare class Code extends PapyrosElement {
5
- static get styles(): CSSResult;
6
- protected render(): TemplateResult;
7
- }
@@ -1,48 +0,0 @@
1
- var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
2
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
- else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
- return c > 3 && r && Object.defineProperty(target, key, r), r;
6
- };
7
- import { css, html } from "lit";
8
- import "../code_mirror/CodeEditor";
9
- import { customElement } from "lit/decorators.js";
10
- import { PapyrosElement } from "../PapyrosElement";
11
- let Code = class Code extends PapyrosElement {
12
- static get styles() {
13
- return css `
14
- :host {
15
- width: 100%;
16
- height: 100%;
17
- }
18
- `;
19
- }
20
- render() {
21
- return html `
22
- <p-code-editor
23
- .testLineCount=${this.papyros.test.testLineCount}
24
- .programmingLanguage=${this.papyros.runner.programmingLanguage}
25
- .debug=${this.papyros.debugger.active}
26
- .debugLine=${this.papyros.debugger.debugLine}
27
- .value=${this.papyros.runner.effectiveCode}
28
- .lintingSource=${this.papyros.runner.lintSource.bind(this.papyros.runner)}
29
- .indentLength=${this.papyros.constants.indentationSize}
30
- .translations=${this.papyros.i18n.getTranslations("CodeMirror")}
31
- .theme=${this.papyros.constants.CodeMirrorTheme}
32
- .placeholder=${this.t("Papyros.code_placeholder", {
33
- programmingLanguage: this.papyros.runner.programmingLanguage,
34
- })}
35
- .testLines=${this.papyros.test.testLines}
36
- .testTranslations=${this.papyros.i18n.getTranslations("Papyros.editor.test_code")}
37
- @edit-test-code=${() => this.papyros.test.editTestCode()}
38
- @remove-test-code=${() => (this.papyros.test.testCode = undefined)}
39
- @change=${(e) => (this.papyros.runner.effectiveCode = e.detail)}
40
- ></p-code-editor>
41
- `;
42
- }
43
- };
44
- Code = __decorate([
45
- customElement("p-code")
46
- ], Code);
47
- export { Code };
48
- //# sourceMappingURL=Code.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"Code.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_runner/Code.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3D,OAAO,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAG5C,IAAM,IAAI,GAAV,MAAM,IAAK,SAAQ,cAAc;IACpC,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;SAKT,CAAC;IACN,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;;iCAEc,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa;uCACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB;yBACrD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM;6BACxB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS;yBACnC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa;iCACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gCACzD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe;gCACtC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC;yBACtD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe;+BAChC,IAAI,CAAC,CAAC,CAAC,0BAA0B,EAAE;YAC9C,mBAAmB,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB;SAC/D,CAAC;6BACW,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS;oCACpB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,0BAA0B,CAAC;kCAC/D,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE;oCACpC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;0BACxD,CAAC,CAAc,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;;SAEnF,CAAC;IACN,CAAC;CACJ,CAAA;AAjCY,IAAI;IADhB,aAAa,CAAC,QAAQ,CAAC;GACX,IAAI,CAiChB"}
@@ -1,7 +0,0 @@
1
- import { PapyrosElement } from "../PapyrosElement";
2
- import { CSSResult, TemplateResult } from "lit";
3
- import "@material/web/progress/circular-progress";
4
- export declare class RunStateEl extends PapyrosElement {
5
- static get styles(): CSSResult;
6
- protected render(): TemplateResult;
7
- }
@@ -1,41 +0,0 @@
1
- var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
2
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
- else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
- return c > 3 && r && Object.defineProperty(target, key, r), r;
6
- };
7
- import { customElement } from "lit/decorators.js";
8
- import { PapyrosElement } from "../PapyrosElement";
9
- import { RunState } from "../../state/Runner";
10
- import { css, html } from "lit";
11
- import "@material/web/progress/circular-progress";
12
- let RunStateEl = class RunStateEl extends PapyrosElement {
13
- static get styles() {
14
- return css `
15
- :host {
16
- display: flex;
17
- align-items: center;
18
- gap: 0.5rem;
19
- }
20
-
21
- md-circular-progress {
22
- --md-circular-progress-size: 2rem;
23
- }
24
- `;
25
- }
26
- render() {
27
- if (!this.papyros.runner.stateMessage)
28
- return html ``;
29
- return html `
30
- ${this.papyros.runner.state === RunState.Ready
31
- ? ""
32
- : html ` <md-circular-progress indeterminate></md-circular-progress> `}
33
- ${this.papyros.runner.stateMessage}
34
- `;
35
- }
36
- };
37
- RunStateEl = __decorate([
38
- customElement("p-run-state")
39
- ], RunStateEl);
40
- export { RunStateEl };
41
- //# sourceMappingURL=RunState.js.map