@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.
- package/dist/assets/__vite-browser-external-9wXp6ZBx.js +1 -0
- package/dist/assets/__vite-browser-external-BIHI7g3E.js +1 -0
- package/dist/assets/index-C1AWjGcU.js +2202 -0
- package/dist/assets/manifest-BaVmi6rC.json +15 -0
- package/dist/assets/python_package.tar.gz-B8aMWvGt.load_by_url +0 -0
- package/dist/assets/worker-BhABRh01.js +5 -0
- package/dist/assets/worker-C2Ju1j5g.js +110 -0
- package/dist/index.html +26 -0
- package/dist/manifest.json +15 -0
- package/dist/robots.txt +3 -0
- package/package.json +1 -1
- package/dist/Library.d.ts +0 -11
- package/dist/Library.js +0 -11
- package/dist/Library.js.map +0 -1
- package/dist/ProgrammingLanguage.d.ts +0 -7
- package/dist/ProgrammingLanguage.js +0 -9
- package/dist/ProgrammingLanguage.js.map +0 -1
- package/dist/backend/Backend.d.ts +0 -92
- package/dist/backend/Backend.js +0 -79
- package/dist/backend/Backend.js.map +0 -1
- package/dist/backend/workers/javascript/JavaScriptWorker.d.ts +0 -39
- package/dist/backend/workers/javascript/JavaScriptWorker.js +0 -158
- package/dist/backend/workers/javascript/JavaScriptWorker.js.map +0 -1
- package/dist/backend/workers/javascript/worker.d.ts +0 -1
- package/dist/backend/workers/javascript/worker.js +0 -5
- package/dist/backend/workers/javascript/worker.js.map +0 -1
- package/dist/backend/workers/python/PythonWorker.d.ts +0 -32
- package/dist/backend/workers/python/PythonWorker.js +0 -117
- package/dist/backend/workers/python/PythonWorker.js.map +0 -1
- package/dist/backend/workers/python/python_package.tar.gz.load_by_url +0 -0
- package/dist/backend/workers/python/worker.d.ts +0 -1
- package/dist/backend/workers/python/worker.js +0 -5
- package/dist/backend/workers/python/worker.js.map +0 -1
- package/dist/communication/BackendEvent.d.ts +0 -33
- package/dist/communication/BackendEvent.js +0 -18
- package/dist/communication/BackendEvent.js.map +0 -1
- package/dist/communication/BackendEventQueue.d.ts +0 -59
- package/dist/communication/BackendEventQueue.js +0 -96
- package/dist/communication/BackendEventQueue.js.map +0 -1
- package/dist/communication/BackendManager.d.ts +0 -68
- package/dist/communication/BackendManager.js +0 -99
- package/dist/communication/BackendManager.js.map +0 -1
- package/dist/communication/InputServiceWorker.d.ts +0 -1
- package/dist/communication/InputServiceWorker.js +0 -37
- package/dist/communication/InputServiceWorker.js.map +0 -1
- package/dist/communication/InputWorker.d.ts +0 -22
- package/dist/communication/InputWorker.js +0 -63
- package/dist/communication/InputWorker.js.map +0 -1
- package/dist/frontend/components/CodeRunner.d.ts +0 -9
- package/dist/frontend/components/CodeRunner.js +0 -60
- package/dist/frontend/components/CodeRunner.js.map +0 -1
- package/dist/frontend/components/Debugger.d.ts +0 -7
- package/dist/frontend/components/Debugger.js +0 -75
- package/dist/frontend/components/Debugger.js.map +0 -1
- package/dist/frontend/components/Input.d.ts +0 -13
- package/dist/frontend/components/Input.js +0 -60
- package/dist/frontend/components/Input.js.map +0 -1
- package/dist/frontend/components/Output.d.ts +0 -14
- package/dist/frontend/components/Output.js +0 -157
- package/dist/frontend/components/Output.js.map +0 -1
- package/dist/frontend/components/PapyrosElement.d.ts +0 -8
- package/dist/frontend/components/PapyrosElement.js +0 -24
- package/dist/frontend/components/PapyrosElement.js.map +0 -1
- package/dist/frontend/components/app/App.d.ts +0 -24
- package/dist/frontend/components/app/App.js +0 -207
- package/dist/frontend/components/app/App.js.map +0 -1
- package/dist/frontend/components/app/ExamplePicker.d.ts +0 -7
- package/dist/frontend/components/app/ExamplePicker.js +0 -36
- package/dist/frontend/components/app/ExamplePicker.js.map +0 -1
- package/dist/frontend/components/app/LanguagePicker.d.ts +0 -7
- package/dist/frontend/components/app/LanguagePicker.js +0 -33
- package/dist/frontend/components/app/LanguagePicker.js.map +0 -1
- package/dist/frontend/components/app/ProgrammingLanguagePicker.d.ts +0 -7
- package/dist/frontend/components/app/ProgrammingLanguagePicker.js +0 -38
- package/dist/frontend/components/app/ProgrammingLanguagePicker.js.map +0 -1
- package/dist/frontend/components/app/examples/JavaScriptExamples.d.ts +0 -5
- package/dist/frontend/components/app/examples/JavaScriptExamples.js +0 -16
- package/dist/frontend/components/app/examples/JavaScriptExamples.js.map +0 -1
- package/dist/frontend/components/app/examples/PythonExamples.d.ts +0 -14
- package/dist/frontend/components/app/examples/PythonExamples.js +0 -163
- package/dist/frontend/components/app/examples/PythonExamples.js.map +0 -1
- package/dist/frontend/components/app/themes/ThemePicker.d.ts +0 -11
- package/dist/frontend/components/app/themes/ThemePicker.js +0 -48
- package/dist/frontend/components/app/themes/ThemePicker.js.map +0 -1
- package/dist/frontend/components/app/themes/ThemedButton.d.ts +0 -9
- package/dist/frontend/components/app/themes/ThemedButton.js +0 -53
- package/dist/frontend/components/app/themes/ThemedButton.js.map +0 -1
- package/dist/frontend/components/code_mirror/BatchInputEditor.d.ts +0 -8
- package/dist/frontend/components/code_mirror/BatchInputEditor.js +0 -51
- package/dist/frontend/components/code_mirror/BatchInputEditor.js.map +0 -1
- package/dist/frontend/components/code_mirror/CodeEditor.d.ts +0 -24
- package/dist/frontend/components/code_mirror/CodeEditor.js +0 -200
- package/dist/frontend/components/code_mirror/CodeEditor.js.map +0 -1
- package/dist/frontend/components/code_mirror/CodeMirrorEditor.d.ts +0 -22
- package/dist/frontend/components/code_mirror/CodeMirrorEditor.js +0 -111
- package/dist/frontend/components/code_mirror/CodeMirrorEditor.js.map +0 -1
- package/dist/frontend/components/code_mirror/Extensions.d.ts +0 -15
- package/dist/frontend/components/code_mirror/Extensions.js +0 -164
- package/dist/frontend/components/code_mirror/Extensions.js.map +0 -1
- package/dist/frontend/components/code_mirror/MaterialTheme.d.ts +0 -5
- package/dist/frontend/components/code_mirror/MaterialTheme.js +0 -115
- package/dist/frontend/components/code_mirror/MaterialTheme.js.map +0 -1
- package/dist/frontend/components/code_runner/ButtonLint.d.ts +0 -9
- package/dist/frontend/components/code_runner/ButtonLint.js +0 -72
- package/dist/frontend/components/code_runner/ButtonLint.js.map +0 -1
- package/dist/frontend/components/code_runner/Code.d.ts +0 -7
- package/dist/frontend/components/code_runner/Code.js +0 -48
- package/dist/frontend/components/code_runner/Code.js.map +0 -1
- package/dist/frontend/components/code_runner/RunState.d.ts +0 -7
- package/dist/frontend/components/code_runner/RunState.js +0 -41
- package/dist/frontend/components/code_runner/RunState.js.map +0 -1
- package/dist/frontend/components/input/BatchInput.d.ts +0 -9
- package/dist/frontend/components/input/BatchInput.js +0 -53
- package/dist/frontend/components/input/BatchInput.js.map +0 -1
- package/dist/frontend/components/input/InteractiveInput.d.ts +0 -13
- package/dist/frontend/components/input/InteractiveInput.js +0 -71
- package/dist/frontend/components/input/InteractiveInput.js.map +0 -1
- package/dist/frontend/state/Constants.d.ts +0 -38
- package/dist/frontend/state/Constants.js +0 -111
- package/dist/frontend/state/Constants.js.map +0 -1
- package/dist/frontend/state/Debugger.d.ts +0 -23
- package/dist/frontend/state/Debugger.js +0 -86
- package/dist/frontend/state/Debugger.js.map +0 -1
- package/dist/frontend/state/Examples.d.ts +0 -11
- package/dist/frontend/state/Examples.js +0 -36
- package/dist/frontend/state/Examples.js.map +0 -1
- package/dist/frontend/state/I18n.d.ts +0 -16
- package/dist/frontend/state/I18n.js +0 -75
- package/dist/frontend/state/I18n.js.map +0 -1
- package/dist/frontend/state/InputOutput.d.ts +0 -64
- package/dist/frontend/state/InputOutput.js +0 -146
- package/dist/frontend/state/InputOutput.js.map +0 -1
- package/dist/frontend/state/Papyros.d.ts +0 -40
- package/dist/frontend/state/Papyros.js +0 -115
- package/dist/frontend/state/Papyros.js.map +0 -1
- package/dist/frontend/state/Runner.d.ts +0 -123
- package/dist/frontend/state/Runner.js +0 -372
- package/dist/frontend/state/Runner.js.map +0 -1
- package/dist/frontend/state/Test.d.ts +0 -10
- package/dist/frontend/state/Test.js +0 -43
- package/dist/frontend/state/Test.js.map +0 -1
- package/dist/frontend/state/Translations.d.ts +0 -178
- package/dist/frontend/state/Translations.js +0 -187
- package/dist/frontend/state/Translations.js.map +0 -1
- package/dist/frontend/state/themes/blue-dark.d.ts +0 -2
- package/dist/frontend/state/themes/blue-dark.js +0 -56
- package/dist/frontend/state/themes/blue-dark.js.map +0 -1
- package/dist/frontend/state/themes/blue-light.d.ts +0 -2
- package/dist/frontend/state/themes/blue-light.js +0 -56
- package/dist/frontend/state/themes/blue-light.js.map +0 -1
- package/dist/frontend/state/themes/green-dark.d.ts +0 -2
- package/dist/frontend/state/themes/green-dark.js +0 -56
- package/dist/frontend/state/themes/green-dark.js.map +0 -1
- package/dist/frontend/state/themes/green-light.d.ts +0 -2
- package/dist/frontend/state/themes/green-light.js +0 -56
- package/dist/frontend/state/themes/green-light.js.map +0 -1
- package/dist/frontend/state/themes/red-dark.d.ts +0 -2
- package/dist/frontend/state/themes/red-dark.js +0 -56
- package/dist/frontend/state/themes/red-dark.js.map +0 -1
- package/dist/frontend/state/themes/red-light.d.ts +0 -2
- package/dist/frontend/state/themes/red-light.js +0 -56
- package/dist/frontend/state/themes/red-light.js.map +0 -1
- package/dist/util/Logging.d.ts +0 -15
- package/dist/util/Logging.js +0 -30
- package/dist/util/Logging.js.map +0 -1
- package/dist/util/Util.d.ts +0 -8
- package/dist/util/Util.js +0 -48
- 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,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
|