@dodona/papyros 4.0.3 → 4.0.5

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (87) hide show
  1. package/dist/backend/Backend.js.map +1 -1
  2. package/dist/backend/workers/javascript/JavaScriptWorker.js +31 -21
  3. package/dist/backend/workers/javascript/JavaScriptWorker.js.map +1 -1
  4. package/dist/backend/workers/python/PythonWorker.js +4 -4
  5. package/dist/backend/workers/python/PythonWorker.js.map +1 -1
  6. package/dist/backend/workers/python/python_package.tar.gz.load_by_url +0 -0
  7. package/dist/communication/BackendEventQueue.js +5 -4
  8. package/dist/communication/BackendEventQueue.js.map +1 -1
  9. package/dist/communication/BackendManager.js +3 -2
  10. package/dist/communication/BackendManager.js.map +1 -1
  11. package/dist/communication/InputServiceWorker.js.map +1 -1
  12. package/dist/communication/InputWorker.js +3 -3
  13. package/dist/communication/InputWorker.js.map +1 -1
  14. package/dist/frontend/components/CodeRunner.js +2 -2
  15. package/dist/frontend/components/CodeRunner.js.map +1 -1
  16. package/dist/frontend/components/Debugger.js +22 -8
  17. package/dist/frontend/components/Debugger.js.map +1 -1
  18. package/dist/frontend/components/Input.js +5 -6
  19. package/dist/frontend/components/Input.js.map +1 -1
  20. package/dist/frontend/components/Output.js +24 -21
  21. package/dist/frontend/components/Output.js.map +1 -1
  22. package/dist/frontend/components/PapyrosElement.js.map +1 -1
  23. package/dist/frontend/components/app/App.js +13 -10
  24. package/dist/frontend/components/app/App.js.map +1 -1
  25. package/dist/frontend/components/app/ExamplePicker.js +10 -9
  26. package/dist/frontend/components/app/ExamplePicker.js.map +1 -1
  27. package/dist/frontend/components/app/LanguagePicker.js +8 -10
  28. package/dist/frontend/components/app/LanguagePicker.js.map +1 -1
  29. package/dist/frontend/components/app/ProgrammingLanguagePicker.js +12 -13
  30. package/dist/frontend/components/app/ProgrammingLanguagePicker.js.map +1 -1
  31. package/dist/frontend/components/app/examples/JavaScriptExamples.js +4 -4
  32. package/dist/frontend/components/app/examples/JavaScriptExamples.js.map +1 -1
  33. package/dist/frontend/components/app/examples/PythonExamples.js +12 -12
  34. package/dist/frontend/components/app/examples/PythonExamples.js.map +1 -1
  35. package/dist/frontend/components/app/themes/ThemePicker.js +10 -9
  36. package/dist/frontend/components/app/themes/ThemePicker.js.map +1 -1
  37. package/dist/frontend/components/app/themes/ThemedButton.js +15 -5
  38. package/dist/frontend/components/app/themes/ThemedButton.js.map +1 -1
  39. package/dist/frontend/components/code_mirror/BatchInputEditor.js +1 -4
  40. package/dist/frontend/components/code_mirror/BatchInputEditor.js.map +1 -1
  41. package/dist/frontend/components/code_mirror/CodeEditor.js +18 -24
  42. package/dist/frontend/components/code_mirror/CodeEditor.js.map +1 -1
  43. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js +9 -6
  44. package/dist/frontend/components/code_mirror/CodeMirrorEditor.js.map +1 -1
  45. package/dist/frontend/components/code_mirror/Extensions.js +13 -18
  46. package/dist/frontend/components/code_mirror/Extensions.js.map +1 -1
  47. package/dist/frontend/components/code_mirror/MaterialTheme.js +8 -2
  48. package/dist/frontend/components/code_mirror/MaterialTheme.js.map +1 -1
  49. package/dist/frontend/components/code_runner/ButtonLint.js +14 -18
  50. package/dist/frontend/components/code_runner/ButtonLint.js.map +1 -1
  51. package/dist/frontend/components/code_runner/Code.js +6 -4
  52. package/dist/frontend/components/code_runner/Code.js.map +1 -1
  53. package/dist/frontend/components/code_runner/RunState.js +4 -4
  54. package/dist/frontend/components/code_runner/RunState.js.map +1 -1
  55. package/dist/frontend/components/input/BatchInput.js +1 -1
  56. package/dist/frontend/components/input/BatchInput.js.map +1 -1
  57. package/dist/frontend/components/input/InteractiveInput.js +9 -11
  58. package/dist/frontend/components/input/InteractiveInput.js.map +1 -1
  59. package/dist/frontend/state/Constants.d.ts +7 -7
  60. package/dist/frontend/state/Constants.js +26 -23
  61. package/dist/frontend/state/Constants.js.map +1 -1
  62. package/dist/frontend/state/Debugger.js +5 -3
  63. package/dist/frontend/state/Debugger.js.map +1 -1
  64. package/dist/frontend/state/I18n.js.map +1 -1
  65. package/dist/frontend/state/InputOutput.js +19 -6
  66. package/dist/frontend/state/InputOutput.js.map +1 -1
  67. package/dist/frontend/state/Papyros.d.ts +8 -0
  68. package/dist/frontend/state/Papyros.js +21 -0
  69. package/dist/frontend/state/Papyros.js.map +1 -1
  70. package/dist/frontend/state/Runner.js +29 -18
  71. package/dist/frontend/state/Runner.js.map +1 -1
  72. package/dist/frontend/state/Translations.js +156 -157
  73. package/dist/frontend/state/Translations.js.map +1 -1
  74. package/dist/frontend/state/themes/blue-dark.js +52 -51
  75. package/dist/frontend/state/themes/blue-dark.js.map +1 -1
  76. package/dist/frontend/state/themes/blue-light.js +52 -51
  77. package/dist/frontend/state/themes/blue-light.js.map +1 -1
  78. package/dist/frontend/state/themes/green-dark.js +52 -51
  79. package/dist/frontend/state/themes/green-dark.js.map +1 -1
  80. package/dist/frontend/state/themes/green-light.js +52 -51
  81. package/dist/frontend/state/themes/green-light.js.map +1 -1
  82. package/dist/frontend/state/themes/red-dark.js +52 -51
  83. package/dist/frontend/state/themes/red-dark.js.map +1 -1
  84. package/dist/frontend/state/themes/red-light.js +52 -51
  85. package/dist/frontend/state/themes/red-light.js.map +1 -1
  86. package/dist/util/Logging.js.map +1 -1
  87. package/package.json +7 -2
@@ -68,7 +68,7 @@ let App = App_1 = class App extends PapyrosElement {
68
68
  min-width: 0;
69
69
  min-height: 0;
70
70
  }
71
-
71
+
72
72
  .grow {
73
73
  flex-grow: 1;
74
74
  }
@@ -80,11 +80,11 @@ let App = App_1 = class App extends PapyrosElement {
80
80
  background-color: var(--md-sys-color-surface-container);
81
81
  color: var(--md-sys-color-on-surface);
82
82
  }
83
-
83
+
84
84
  .overflow {
85
85
  overflow: auto;
86
86
  }
87
-
87
+
88
88
  .header {
89
89
  align-items: center;
90
90
  padding: 1rem 2rem;
@@ -93,19 +93,19 @@ let App = App_1 = class App extends PapyrosElement {
93
93
  background-color: var(--md-sys-color-surface-container);
94
94
  color: var(--md-sys-color-on-surface);
95
95
  }
96
-
96
+
97
97
  .title {
98
98
  font-size: 1.5rem;
99
99
  font-weight: bold;
100
100
  color: var(--md-sys-color-primary);
101
101
  }
102
-
102
+
103
103
  .header-options {
104
104
  display: flex;
105
105
  gap: 0.5rem;
106
106
  align-items: center;
107
107
  }
108
-
108
+
109
109
  .content {
110
110
  max-width: 1500px;
111
111
  width: 100%;
@@ -131,7 +131,7 @@ let App = App_1 = class App extends PapyrosElement {
131
131
  }
132
132
  disconnectedCallback() {
133
133
  super.disconnectedCallback();
134
- this.subscriptions.forEach(s => s());
134
+ this.subscriptions.forEach((s) => s());
135
135
  this.subscriptions = [];
136
136
  }
137
137
  initializeLocalStorageProperty(state, property) {
@@ -162,15 +162,18 @@ let App = App_1 = class App extends PapyrosElement {
162
162
  <span class="title">${this.t("Papyros.Papyros")}</span>
163
163
  <md-icon-button href="https://github.com/dodona-edu/papyros" target="_blank" rel="noopener">
164
164
  <md-icon>
165
- <svg viewBox="0 0 24 24" fill="currentColor"><path d="M12 1.27a11 11 0 00-3.48 21.46c.55.09.73-.28.73-.55v-1.84c-3.03.64-3.67-1.46-3.67-1.46-.55-1.29-1.28-1.65-1.28-1.65-.92-.65.1-.65.1-.65 1.1 0 1.73 1.1 1.73 1.1.92 1.65 2.57 1.2 3.21.92a2 2 0 01.64-1.47c-2.47-.27-5.04-1.19-5.04-5.5 0-1.1.46-2.1 1.2-2.84a3.76 3.76 0 010-2.93s.91-.28 3.11 1.1c1.8-.49 3.7-.49 5.5 0 2.1-1.38 3.02-1.1 3.02-1.1a3.76 3.76 0 010 2.93c.83.74 1.2 1.74 1.2 2.94 0 4.21-2.57 5.13-5.04 5.4.45.37.82.92.82 2.02v3.03c0 .27.1.64.73.55A11 11 0 0012 1.27"></path></svg>
165
+ <svg viewBox="0 0 24 24" fill="currentColor">
166
+ <path
167
+ d="M12 1.27a11 11 0 00-3.48 21.46c.55.09.73-.28.73-.55v-1.84c-3.03.64-3.67-1.46-3.67-1.46-.55-1.29-1.28-1.65-1.28-1.65-.92-.65.1-.65.1-.65 1.1 0 1.73 1.1 1.73 1.1.92 1.65 2.57 1.2 3.21.92a2 2 0 01.64-1.47c-2.47-.27-5.04-1.19-5.04-5.5 0-1.1.46-2.1 1.2-2.84a3.76 3.76 0 010-2.93s.91-.28 3.11 1.1c1.8-.49 3.7-.49 5.5 0 2.1-1.38 3.02-1.1 3.02-1.1a3.76 3.76 0 010 2.93c.83.74 1.2 1.74 1.2 2.94 0 4.21-2.57 5.13-5.04 5.4.45.37.82.92.82 2.02v3.03c0 .27.1.64.73.55A11 11 0 0012 1.27"
168
+ ></path>
169
+ </svg>
166
170
  </md-icon>
167
171
  </md-icon-button>
168
172
  </div>
169
173
  <div class="header-options">
170
174
  <p-theme-picker .papyros=${this.papyros}></p-theme-picker>
171
175
  <p-language-picker .papyros=${this.papyros}></p-language-picker>
172
- <p-programming-language-picker .papyros=${this.papyros}
173
- ></p-programming-language-picker>
176
+ <p-programming-language-picker .papyros=${this.papyros}></p-programming-language-picker>
174
177
  </div>
175
178
  </div>
176
179
  <div class="content">
@@ -1 +1 @@
1
- {"version":3,"file":"App.js","sourceRoot":"","sources":["../../../../src/frontend/components/app/App.ts"],"names":[],"mappings":";;;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,eAAe,CAAC;AACvB,OAAO,aAAa,CAAC;AACrB,OAAO,WAAW,CAAC;AACnB,OAAO,UAAU,CAAC;AAClB,OAAO,6BAA6B,CAAC;AACrC,OAAO,iBAAiB,CAAC;AACzB,OAAO,kBAAkB,CAAC;AAC1B,OAAO,sBAAsB,CAAC;AAE9B,OAAO,sCAAsC,CAAC;AAC9C,OAAO,yBAAyB,CAAC;AAI1B,IAAM,GAAG,WAAT,MAAM,GAAI,SAAQ,cAAc;IAGnC,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SA+FT,CAAC;IACN,CAAC;IAED;QACI,KAAK,EAAE,CAAC;QAtGZ,kBAAa,GAAmB,EAAE,CAAA;QAuG9B,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;IAC1B,CAAC;IAEe,iBAAiB;QAC7B,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjE,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACjE,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;QAChF,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IAC/E,CAAC;IAEe,oBAAoB;QAChC,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC7B,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC;IAC5B,CAAC;IAED,8BAA8B,CAAC,KAAY,EAAE,QAAgB;QACzD,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC;gBACD,KAAK,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC9C,CAAC;YAAC,WAAM,CAAC;gBACL,sBAAsB;YAC1B,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE;YACrC,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACb,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,CAAC;IAED,QAAQ,CAAC,KAAkB;QACvB,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC1F,WAAW,CAAE,IAAI,CAAC,UAAyB,EAAE,CAAC,KAAG,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5E,CAAC;IAEkB,MAAM;QACrB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAClD,OAAO,IAAI,CAAA;;;;8CAI2B,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC;;;;;;;;mDAQpB,IAAI,CAAC,OAAO;sDACT,IAAI,CAAC,OAAO;kEACA,IAAI,CAAC,OAAO;;;;;;;sDAOxB,IAAI,CAAC,OAAO;6DACL,IAAI,CAAC,OAAO;;;;;qDAKpB,IAAI,CAAC,OAAO;;;oDAGb,IAAI,CAAC,OAAO;;;;;+CAKjB,IAAI,CAAC,OAAO;;;;SAIlD,CAAC;IACN,CAAC;CACJ,CAAA;AAzLY,GAAG;IADf,aAAa,CAAC,OAAO,CAAC;GACV,GAAG,CAyLf"}
1
+ {"version":3,"file":"App.js","sourceRoot":"","sources":["../../../../src/frontend/components/app/App.ts"],"names":[],"mappings":";;;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,eAAe,CAAC;AACvB,OAAO,aAAa,CAAC;AACrB,OAAO,WAAW,CAAC;AACnB,OAAO,UAAU,CAAC;AAClB,OAAO,6BAA6B,CAAC;AACrC,OAAO,iBAAiB,CAAC;AACzB,OAAO,kBAAkB,CAAC;AAC1B,OAAO,sBAAsB,CAAC;AAE9B,OAAO,sCAAsC,CAAC;AAC9C,OAAO,yBAAyB,CAAC;AAI1B,IAAM,GAAG,WAAT,MAAM,GAAI,SAAQ,cAAc;IAGnC,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SA+FT,CAAC;IACN,CAAC;IAED;QACI,KAAK,EAAE,CAAC;QAtGZ,kBAAa,GAAmB,EAAE,CAAC;QAuG/B,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;IAC1B,CAAC;IAEe,iBAAiB;QAC7B,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjE,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACjE,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;QAChF,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IAC/E,CAAC;IAEe,oBAAoB;QAChC,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC7B,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC;IAC5B,CAAC;IAED,8BAA8B,CAAC,KAAY,EAAE,QAAgB;QACzD,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC;gBACD,KAAK,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC9C,CAAC;YAAC,WAAM,CAAC;gBACL,sBAAsB;YAC1B,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE;YACrC,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACb,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,CAAC;IAED,QAAQ,CAAC,KAAkB;QACvB,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC1F,WAAW,CAAC,IAAI,CAAC,UAAwB,EAAE,CAAC,KAAG,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,CAAC;IAEkB,MAAM;QACrB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAClD,OAAO,IAAI,CAAA;;;;8CAI2B,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC;;;;;;;;;;;;mDAYpB,IAAI,CAAC,OAAO;sDACT,IAAI,CAAC,OAAO;kEACA,IAAI,CAAC,OAAO;;;;;;sDAMxB,IAAI,CAAC,OAAO;6DACL,IAAI,CAAC,OAAO;;;;;qDAKpB,IAAI,CAAC,OAAO;;;oDAGb,IAAI,CAAC,OAAO;;;;;+CAKjB,IAAI,CAAC,OAAO;;;;SAIlD,CAAC;IACN,CAAC;CACJ,CAAA;AA5LY,GAAG;IADf,aAAa,CAAC,OAAO,CAAC;GACV,GAAG,CA4Lf"}
@@ -14,16 +14,17 @@ let ExamplePicker = class ExamplePicker extends PapyrosElement {
14
14
  render() {
15
15
  return html `
16
16
  <md-outlined-select
17
- ?disabled=${this.papyros.runner.state !== RunState.Ready || this.papyros.debugger.active}
18
- label=${this.t("Papyros.examples")}
19
- @input=${(e) => {
17
+ ?disabled=${this.papyros.runner.state !== RunState.Ready || this.papyros.debugger.active}
18
+ label=${this.t("Papyros.examples")}
19
+ @input=${(e) => {
20
20
  this.papyros.runner.code = this.papyros.examples.getExampleCode(e.target.value);
21
- }}>
22
- ${this.papyros.examples.names.map(name => html `
23
- <md-select-option value=${name}>
24
- <div slot="headline">${name}</div>
25
- </md-select-option>
26
- `)}
21
+ }}
22
+ >
23
+ ${this.papyros.examples.names.map((name) => html `
24
+ <md-select-option value=${name}>
25
+ <div slot="headline">${name}</div>
26
+ </md-select-option>
27
+ `)}
27
28
  </md-outlined-select>
28
29
  `;
29
30
  }
@@ -1 +1 @@
1
- {"version":3,"file":"ExamplePicker.js","sourceRoot":"","sources":["../../../../src/frontend/components/app/ExamplePicker.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3C,OAAO,sCAAsC,CAAC;AAC9C,OAAO,oCAAoC,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAGvC,IAAM,aAAa,GAAnB,MAAM,aAAc,SAAQ,cAAc;IAC1B,MAAM;QACrB,OAAO,IAAI,CAAA;;gCAEa,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM;4BAChF,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC;6BACzB,CAAC,CAAa,EAAE,EAAE;YACvC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAE,CAAC,CAAC,MAA2B,CAAC,KAAK,CAAC,CAAC;QAC1G,CAAC;kBACa,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAA;8DACA,IAAI;+DACH,IAAI;;iCAElC,CAAC;;SAEzB,CAAC;IACN,CAAC;CACJ,CAAA;AAjBY,aAAa;IADzB,aAAa,CAAC,kBAAkB,CAAC;GACrB,aAAa,CAiBzB"}
1
+ {"version":3,"file":"ExamplePicker.js","sourceRoot":"","sources":["../../../../src/frontend/components/app/ExamplePicker.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3C,OAAO,sCAAsC,CAAC;AAC9C,OAAO,oCAAoC,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAGvC,IAAM,aAAa,GAAnB,MAAM,aAAc,SAAQ,cAAc;IAC1B,MAAM;QACrB,OAAO,IAAI,CAAA;;4BAES,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM;wBAChF,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC;yBACzB,CAAC,CAAa,EAAE,EAAE;YACvB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAC1D,CAAC,CAAC,MAA2B,CAAC,KAAK,CACvC,CAAC;QACN,CAAC;;kBAEC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAC7B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAA;kDACgB,IAAI;mDACH,IAAI;;qBAElC,CACJ;;SAER,CAAC;IACN,CAAC;CACJ,CAAA;AAtBY,aAAa;IADzB,aAAa,CAAC,kBAAkB,CAAC;GACrB,aAAa,CAsBzB"}
@@ -13,17 +13,15 @@ let LanguagePicker = class LanguagePicker extends PapyrosElement {
13
13
  render() {
14
14
  return html `
15
15
  <md-outlined-select
16
- @input=${(e) => {
16
+ @input=${(e) => {
17
17
  this.papyros.i18n.locale = e.target.value;
18
- }}>
19
- ${this.papyros.i18n.availableLocales.map(lang => html `
20
- <md-select-option
21
- value=${lang}
22
- ?selected=${this.papyros.i18n.locale === lang}
23
- >
24
- <div slot="headline">${this.t(`Papyros.locales.${lang}`)}</div>
25
- </md-select-option>
26
- `)}
18
+ }}
19
+ >
20
+ ${this.papyros.i18n.availableLocales.map((lang) => html `
21
+ <md-select-option value=${lang} ?selected=${this.papyros.i18n.locale === lang}>
22
+ <div slot="headline">${this.t(`Papyros.locales.${lang}`)}</div>
23
+ </md-select-option>
24
+ `)}
27
25
  </md-outlined-select>
28
26
  `;
29
27
  }
@@ -1 +1 @@
1
- {"version":3,"file":"LanguagePicker.js","sourceRoot":"","sources":["../../../../src/frontend/components/app/LanguagePicker.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3C,OAAO,sCAAsC,CAAC;AAC9C,OAAO,oCAAoC,CAAC;AAGrC,IAAM,cAAc,GAApB,MAAM,cAAe,SAAQ,cAAc;IAC3B,MAAM;QACrB,OAAO,IAAI,CAAA;;6BAEU,CAAC,CAAa,EAAE,EAAE;YACvC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,GAAI,CAAC,CAAC,MAA2B,CAAC,KAAK,CAAC;QACpE,CAAC;kBACa,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAA;;gDAErB,IAAI;oDACA,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI;;+DAEtB,IAAI,CAAC,CAAC,CAAC,mBAAmB,IAAI,EAAE,CAAC;;iCAE/D,CAAC;;SAEzB,CAAC;IACN,CAAC;CACJ,CAAA;AAlBY,cAAc;IAD1B,aAAa,CAAC,mBAAmB,CAAC;GACtB,cAAc,CAkB1B"}
1
+ {"version":3,"file":"LanguagePicker.js","sourceRoot":"","sources":["../../../../src/frontend/components/app/LanguagePicker.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3C,OAAO,sCAAsC,CAAC;AAC9C,OAAO,oCAAoC,CAAC;AAGrC,IAAM,cAAc,GAApB,MAAM,cAAe,SAAQ,cAAc;IAC3B,MAAM;QACrB,OAAO,IAAI,CAAA;;yBAEM,CAAC,CAAa,EAAE,EAAE;YACvB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,GAAI,CAAC,CAAC,MAA2B,CAAC,KAAK,CAAC;QACpE,CAAC;;kBAEC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CACpC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAA;kDACgB,IAAI,cAAc,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI;mDAClD,IAAI,CAAC,CAAC,CAAC,mBAAmB,IAAI,EAAE,CAAC;;qBAE/D,CACJ;;SAER,CAAC;IACN,CAAC;CACJ,CAAA;AAlBY,cAAc;IAD1B,aAAa,CAAC,mBAAmB,CAAC;GACtB,cAAc,CAkB1B"}
@@ -15,19 +15,18 @@ let ProgrammingLanguagePicker = class ProgrammingLanguagePicker extends PapyrosE
15
15
  render() {
16
16
  return html `
17
17
  <md-outlined-select
18
- ?disabled=${this.papyros.runner.state !== RunState.Ready || this.papyros.debugger.active}
19
- label=${this.t("Papyros.programming_language")}
20
- @input=${(e) => {
21
- this.papyros.runner.programmingLanguage = e.target.value;
22
- }}>
23
- ${Object.values(ProgrammingLanguage).map(lang => html `
24
- <md-select-option
25
- value=${lang}
26
- ?selected=${this.papyros.runner.programmingLanguage === lang}
27
- >
28
- <div slot="headline">${lang}</div>
29
- </md-select-option>
30
- `)}
18
+ ?disabled=${this.papyros.runner.state !== RunState.Ready || this.papyros.debugger.active}
19
+ label=${this.t("Papyros.programming_language")}
20
+ @input=${(e) => {
21
+ this.papyros.runner.programmingLanguage = e.target
22
+ .value;
23
+ }}
24
+ >
25
+ ${Object.values(ProgrammingLanguage).map((lang) => html `
26
+ <md-select-option value=${lang} ?selected=${this.papyros.runner.programmingLanguage === lang}>
27
+ <div slot="headline">${lang}</div>
28
+ </md-select-option>
29
+ `)}
31
30
  </md-outlined-select>
32
31
  `;
33
32
  }
@@ -1 +1 @@
1
- {"version":3,"file":"ProgrammingLanguagePicker.js","sourceRoot":"","sources":["../../../../src/frontend/components/app/ProgrammingLanguagePicker.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,sCAAsC,CAAC;AAC9C,OAAO,oCAAoC,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAGvC,IAAM,yBAAyB,GAA/B,MAAM,yBAA0B,SAAQ,cAAc;IACtC,MAAM;QACrB,OAAO,IAAI,CAAA;;gCAEa,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM;4BAChF,IAAI,CAAC,CAAC,CAAC,8BAA8B,CAAC;6BACrC,CAAC,CAAa,EAAE,EAAE;YACvC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB,GAAI,CAAC,CAAC,MAA2B,CAAC,KAA4B,CAAC;QAC1G,CAAC;kBACa,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAA;;gDAErB,IAAI;oDACA,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB,KAAK,IAAI;;+DAErC,IAAI;;iCAElC,CAAC;;SAEzB,CAAC;IACN,CAAC;CACJ,CAAA;AApBY,yBAAyB;IADrC,aAAa,CAAC,+BAA+B,CAAC;GAClC,yBAAyB,CAoBrC"}
1
+ {"version":3,"file":"ProgrammingLanguagePicker.js","sourceRoot":"","sources":["../../../../src/frontend/components/app/ProgrammingLanguagePicker.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,sCAAsC,CAAC;AAC9C,OAAO,oCAAoC,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAGvC,IAAM,yBAAyB,GAA/B,MAAM,yBAA0B,SAAQ,cAAc;IACtC,MAAM;QACrB,OAAO,IAAI,CAAA;;4BAES,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM;wBAChF,IAAI,CAAC,CAAC,CAAC,8BAA8B,CAAC;yBACrC,CAAC,CAAa,EAAE,EAAE;YACvB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB,GAAI,CAAC,CAAC,MAA2B;iBACnE,KAA4B,CAAC;QACtC,CAAC;;kBAEC,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,GAAG,CACpC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAA;kDACgB,IAAI,cAAc,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB,KAAK,IAAI;mDACjE,IAAI;;qBAElC,CACJ;;SAER,CAAC;IACN,CAAC;CACJ,CAAA;AArBY,yBAAyB;IADrC,aAAa,CAAC,+BAA+B,CAAC;GAClC,yBAAyB,CAqBrC"}
@@ -1,8 +1,8 @@
1
1
  export const JAVASCRIPT_EXAMPLES = {
2
- "Hello world!": "console.log(\"Hello, World!\");",
3
- "Input": `const name = prompt('What is your name?')
2
+ "Hello world!": 'console.log("Hello, World!");',
3
+ Input: `const name = prompt('What is your name?')
4
4
  console.log(\`Hello, \${name}!\`)`,
5
- "Fibonacci": `function fibonacci(n){
5
+ Fibonacci: `function fibonacci(n){
6
6
  if (n <= 1) {
7
7
  return n;
8
8
  }
@@ -11,6 +11,6 @@ console.log(\`Hello, \${name}!\`)`,
11
11
  for(let i = 0; i < 10; i += 1){
12
12
  console.log(fibonacci(i));
13
13
  }
14
- `
14
+ `,
15
15
  };
16
16
  //# sourceMappingURL=JavaScriptExamples.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"JavaScriptExamples.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/examples/JavaScriptExamples.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,mBAAmB,GAAG;IAC/B,cAAc,EAAE,iCAAiC;IACjD,OAAO,EACH;kCAC0B;IAC9B,WAAW,EACP;;;;;;;;;CASP;CACA,CAAC"}
1
+ {"version":3,"file":"JavaScriptExamples.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/examples/JavaScriptExamples.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,mBAAmB,GAAG;IAC/B,cAAc,EAAE,+BAA+B;IAC/C,KAAK,EAAE;kCACuB;IAC9B,SAAS,EAAE;;;;;;;;;CASd;CACA,CAAC"}
@@ -1,12 +1,12 @@
1
1
  export const PYTHON_EXAMPLES = {
2
2
  "Hello, World!": "print('Hello, World!')",
3
- "Input": `name = input('What is your name?')
3
+ Input: `name = input('What is your name?')
4
4
  print(f'Hello, {name}!')`,
5
- "Fibonacci": `def fibonacci(n):
5
+ Fibonacci: `def fibonacci(n):
6
6
  return n if n <= 1 else fibonacci(n- 2) + fibonacci(n - 1)
7
7
 
8
8
  print([fibonacci(n) for n in range(10)])`,
9
- "Doctests": `def factorial(n):
9
+ Doctests: `def factorial(n):
10
10
  """Return the factorial of n, an exact integer >= 0.
11
11
 
12
12
  >>> [factorial(n) for n in range(6)]
@@ -56,7 +56,7 @@ def wrong_factorial(n):
56
56
  """
57
57
  return 0
58
58
  `,
59
- "Async": `import asyncio
59
+ Async: `import asyncio
60
60
 
61
61
  async def nested():
62
62
  print(42)
@@ -72,7 +72,7 @@ async def main():
72
72
 
73
73
  await main()
74
74
  `,
75
- "Erroneous": `def bitonic_search(numbers, query):
75
+ Erroneous: `def bitonic_search(numbers, query):
76
76
  if not numbers:
77
77
  return -1
78
78
  if len(numbers) == 1:
@@ -104,12 +104,12 @@ def find_bitonic_query(numbers, query, start, stop, comp):
104
104
  else:
105
105
  stop = midden
106
106
  `,
107
- "Unicode": `import random
107
+ Unicode: `import random
108
108
  emoji = '🎅🤶👪🦌🌟❄️☃️🔥🎄🎁🧦🔔🎶🕯️🦆'
109
109
  for _ in range(10):
110
110
  print(''.join(random.choice(emoji) for _ in range(30)))
111
111
  `,
112
- "Files": `with open("names.txt", "w") as out_file:
112
+ Files: `with open("names.txt", "w") as out_file:
113
113
  for name in ["Alice", "Bob", "Claire"]:
114
114
  print(name, file=out_file)
115
115
 
@@ -117,7 +117,7 @@ with open("names.txt", "r") as in_file:
117
117
  for line in in_file:
118
118
  print(line.rstrip())
119
119
  `,
120
- "Matplotlib": `import matplotlib.pyplot as plt
120
+ Matplotlib: `import matplotlib.pyplot as plt
121
121
  import networkx as nx
122
122
 
123
123
  plt.rcParams["font.size"] = 10
@@ -136,7 +136,7 @@ nx.draw_networkx_nodes(G, pos, node_color='r', node_size=12)
136
136
 
137
137
  plt.show()
138
138
  `,
139
- "Sleep": `import time
139
+ Sleep: `import time
140
140
  text = """What is the air-speed velocity of an unladen swallow?
141
141
  What do you mean? An African or European swallow?
142
142
  What? I, I don't know that.
@@ -145,7 +145,7 @@ for character in text:
145
145
  print(character, end="")
146
146
  time.sleep(0.1)
147
147
  `,
148
- "Overflow": `from functools import lru_cache
148
+ Overflow: `from functools import lru_cache
149
149
 
150
150
  @lru_cache
151
151
  def fibonacci(n):
@@ -154,10 +154,10 @@ def fibonacci(n):
154
154
  for index in range(5000):
155
155
  print(f'{index}: {fibonacci(index)}')
156
156
  `,
157
- "Interrupt": `i = 0
157
+ Interrupt: `i = 0
158
158
  while i >= 0:
159
159
  print(i)
160
160
  i += 1
161
- `
161
+ `,
162
162
  };
163
163
  //# sourceMappingURL=PythonExamples.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"PythonExamples.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/examples/PythonExamples.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B,eAAe,EAAE,wBAAwB;IACzC,OAAO,EACH;yBACiB;IACrB,WAAW,EACP;;;yCAGiC;IACrC,UAAU,EACN;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiDP;IACG,OAAO,EACH;;;;;;;;;;;;;;;CAeP;IACG,WAAW,EACP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+BP;IACG,SAAS,EACL;;;;CAIP;IACG,OAAO,EACH;;;;;;;CAOP;IACG,YAAY,EACR;;;;;;;;;;;;;;;;;;CAkBP;IACG,OAAO,EAAE;;;;;;;;CAQZ;IACG,UAAU,EAAE;;;;;;;;CAQf;IACG,WAAW,EAAE;;;;CAIhB;CACA,CAAC"}
1
+ {"version":3,"file":"PythonExamples.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/examples/PythonExamples.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B,eAAe,EAAE,wBAAwB;IACzC,KAAK,EAAE;yBACc;IACrB,SAAS,EAAE;;;yCAG0B;IACrC,QAAQ,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiDb;IACG,KAAK,EAAE;;;;;;;;;;;;;;;CAeV;IACG,SAAS,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+Bd;IACG,OAAO,EAAE;;;;CAIZ;IACG,KAAK,EAAE;;;;;;;CAOV;IACG,UAAU,EAAE;;;;;;;;;;;;;;;;;;CAkBf;IACG,KAAK,EAAE;;;;;;;;CAQV;IACG,QAAQ,EAAE;;;;;;;;CAQb;IACG,SAAS,EAAE;;;;CAId;CACA,CAAC"}
@@ -22,19 +22,20 @@ let ThemePicker = class ThemePicker extends PapyrosElement {
22
22
  render() {
23
23
  if (!this.picking) {
24
24
  return html `
25
- <md-icon-button @click=${() => this.picking = true}>
25
+ <md-icon-button @click=${() => (this.picking = true)}>
26
26
  <md-icon>
27
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="#currentCollor"><path d="M480-80q-82 0-155-31.5t-127.5-86Q143-252 111.5-325T80-480q0-83 32.5-156t88-127Q256-817 330-848.5T488-880q80 0 151 27.5t124.5 76q53.5 48.5 85 115T880-518q0 115-70 176.5T640-280h-74q-9 0-12.5 5t-3.5 11q0 12 15 34.5t15 51.5q0 50-27.5 74T480-80Zm0-400Zm-220 40q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm120-160q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm200 0q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm120 160q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17ZM480-160q9 0 14.5-5t5.5-13q0-14-15-33t-15-57q0-42 29-67t71-25h70q66 0 113-38.5T800-518q0-121-92.5-201.5T488-800q-136 0-232 93t-96 227q0 133 93.5 226.5T480-160Z"/></svg>
27
+ <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="#currentCollor">
28
+ <path
29
+ d="M480-80q-82 0-155-31.5t-127.5-86Q143-252 111.5-325T80-480q0-83 32.5-156t88-127Q256-817 330-848.5T488-880q80 0 151 27.5t124.5 76q53.5 48.5 85 115T880-518q0 115-70 176.5T640-280h-74q-9 0-12.5 5t-3.5 11q0 12 15 34.5t15 51.5q0 50-27.5 74T480-80Zm0-400Zm-220 40q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm120-160q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm200 0q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm120 160q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17ZM480-160q9 0 14.5-5t5.5-13q0-14-15-33t-15-57q0-42 29-67t71-25h70q66 0 113-38.5T800-518q0-121-92.5-201.5T488-800q-136 0-232 93t-96 227q0 133 93.5 226.5T480-160Z"
30
+ />
31
+ </svg>
28
32
  </md-icon>
29
33
  </md-icon-button>
30
- `;
34
+ `;
31
35
  }
32
- return Object.values(this.papyros.constants.themes).map(t => html `
33
- <p-themed-button .theme=${t.theme}
34
- .dark=${t.dark}
35
- @click=${() => this.setTheme(t)}
36
- ></p-themed-button>
37
- `);
36
+ return Object.values(this.papyros.constants.themes).map((t) => html `
37
+ <p-themed-button .theme=${t.theme} .dark=${t.dark} @click=${() => this.setTheme(t)}></p-themed-button>
38
+ `);
38
39
  }
39
40
  };
40
41
  __decorate([
@@ -1 +1 @@
1
- {"version":3,"file":"ThemePicker.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/themes/ThemePicker.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3C,OAAO,gBAAgB,CAAC;AACxB,OAAO,yBAAyB,CAAC;AACjC,OAAO,sCAAsC,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAK/C,IAAM,WAAW,GAAjB,MAAM,WAAY,SAAQ,cAAc;IAAxC;;QAEC,YAAO,GAAG,KAAK,CAAC;IAyBxB,CAAC;IAvBG,QAAQ,CAAC,KAAkB;QACvB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,GAAG,KAAK,CAAC;IAC/C,CAAC;IAEkB,MAAM;QACrB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,OAAO,IAAI,CAAA;yCACkB,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,GAAG,IAAI;;;;;iBAKjD,CAAC;QACV,CAAC;QAED,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAA;sCACnC,CAAC,CAAC,KAAK;qCACR,CAAC,CAAC,IAAI;qCACN,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;;SAElD,CAAC,CAAC;IACP,CAAC;CACJ,CAAA;AAzBO;IADH,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;4CACN;AAFX,WAAW;IADvB,aAAa,CAAC,gBAAgB,CAAC;GACnB,WAAW,CA2BvB"}
1
+ {"version":3,"file":"ThemePicker.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/themes/ThemePicker.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3C,OAAO,gBAAgB,CAAC;AACxB,OAAO,yBAAyB,CAAC;AACjC,OAAO,sCAAsC,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAI/C,IAAM,WAAW,GAAjB,MAAM,WAAY,SAAQ,cAAc;IAAxC;;QAEH,YAAO,GAAG,KAAK,CAAC;IA4BpB,CAAC;IA1BG,QAAQ,CAAC,KAAkB;QACvB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,GAAG,KAAK,CAAC;IAC/C,CAAC;IAEkB,MAAM;QACrB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,OAAO,IAAI,CAAA;yCACkB,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;;;;;;;;;aASvD,CAAC;QACN,CAAC;QAED,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CACnD,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAA;0CACmB,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,IAAI,WAAW,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;aACrF,CACJ,CAAC;IACN,CAAC;CACJ,CAAA;AA5BG;IADC,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;4CACV;AAFP,WAAW;IADvB,aAAa,CAAC,gBAAgB,CAAC;GACnB,WAAW,CA8BvB"}
@@ -23,11 +23,21 @@ let ThemedButton = class ThemedButton extends LitElement {
23
23
  return html `
24
24
  <md-filled-icon-button>
25
25
  <md-icon>
26
- ${this.dark ? html `
27
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor"><path d="M480-120q-150 0-255-105T120-480q0-150 105-255t255-105q14 0 27.5 1t26.5 3q-41 29-65.5 75.5T444-660q0 90 63 153t153 63q55 0 101-24.5t75-65.5q2 13 3 26.5t1 27.5q0 150-105 255T480-120Zm0-80q88 0 158-48.5T740-375q-20 5-40 8t-40 3q-123 0-209.5-86.5T364-660q0-20 3-40t8-40q-78 32-126.5 102T200-480q0 116 82 198t198 82Zm-10-270Z"/></svg>
28
- ` : html `
29
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor"><path d="M480-360q50 0 85-35t35-85q0-50-35-85t-85-35q-50 0-85 35t-35 85q0 50 35 85t85 35Zm0 80q-83 0-141.5-58.5T280-480q0-83 58.5-141.5T480-680q83 0 141.5 58.5T680-480q0 83-58.5 141.5T480-280ZM200-440H40v-80h160v80Zm720 0H760v-80h160v80ZM440-760v-160h80v160h-80Zm0 720v-160h80v160h-80ZM256-650l-101-97 57-59 96 100-52 56Zm492 496-97-101 53-55 101 97-57 59Zm-98-550 97-101 59 57-100 96-56-52ZM154-212l101-97 55 53-97 101-59-57Zm326-268Z"/></svg>
30
- `}
26
+ ${this.dark
27
+ ? html `
28
+ <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor">
29
+ <path
30
+ d="M480-120q-150 0-255-105T120-480q0-150 105-255t255-105q14 0 27.5 1t26.5 3q-41 29-65.5 75.5T444-660q0 90 63 153t153 63q55 0 101-24.5t75-65.5q2 13 3 26.5t1 27.5q0 150-105 255T480-120Zm0-80q88 0 158-48.5T740-375q-20 5-40 8t-40 3q-123 0-209.5-86.5T364-660q0-20 3-40t8-40q-78 32-126.5 102T200-480q0 116 82 198t198 82Zm-10-270Z"
31
+ />
32
+ </svg>
33
+ `
34
+ : html `
35
+ <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor">
36
+ <path
37
+ d="M480-360q50 0 85-35t35-85q0-50-35-85t-85-35q-50 0-85 35t-35 85q0 50 35 85t85 35Zm0 80q-83 0-141.5-58.5T280-480q0-83 58.5-141.5T480-680q83 0 141.5 58.5T680-480q0 83-58.5 141.5T480-280ZM200-440H40v-80h160v80Zm720 0H760v-80h160v80ZM440-760v-160h80v160h-80Zm0 720v-160h80v160h-80ZM256-650l-101-97 57-59 96 100-52 56Zm492 496-97-101 53-55 101 97-57 59Zm-98-550 97-101 59 57-100 96-56-52ZM154-212l101-97 55 53-97 101-59-57Zm326-268Z"
38
+ />
39
+ </svg>
40
+ `}
31
41
  </md-icon>
32
42
  </md-filled-icon-button>
33
43
  `;
@@ -1 +1 @@
1
- {"version":3,"file":"ThemedButton.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/themes/ThemedButton.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,WAAW,EAAa,IAAI,EAAE,UAAU,EAAkB,MAAM,KAAK,CAAC;AAC/E,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,yBAAyB,CAAC;AACjC,OAAO,6CAA6C,CAAC;AAI9C,IAAM,YAAY,GAAlB,MAAM,YAAa,SAAQ,UAAU;IAArC;;QAGC,SAAI,GAAY,KAAK,CAAC;IAsB9B,CAAC;IApBmB,iBAAiB;QAC7B,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,IAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YACZ,WAAW,CAAE,IAAI,CAAC,UAAyB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/D,CAAC;IACL,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;;;sBAGG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;;qBAEjB,CAAC,CAAC,CAAC,IAAI,CAAA;;qBAEP;;;SAGZ,CAAC;IACN,CAAC;CACJ,CAAA;AAtBO;IADH,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;0CACF;AAHjB,YAAY;IADxB,aAAa,CAAC,iBAAiB,CAAC;GACpB,YAAY,CAyBxB"}
1
+ {"version":3,"file":"ThemedButton.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/themes/ThemedButton.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,WAAW,EAAa,IAAI,EAAE,UAAU,EAAkB,MAAM,KAAK,CAAC;AAC/E,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,yBAAyB,CAAC;AACjC,OAAO,6CAA6C,CAAC;AAG9C,IAAM,YAAY,GAAlB,MAAM,YAAa,SAAQ,UAAU;IAArC;;QAGH,SAAI,GAAY,KAAK,CAAC;IAgC1B,CAAC;IA9BmB,iBAAiB;QAC7B,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,WAAW,CAAC,IAAI,CAAC,UAAwB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7D,CAAC;IACL,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;;;sBAGG,IAAI,CAAC,IAAI;YACP,CAAC,CAAC,IAAI,CAAA;;;;;;2BAMH;YACH,CAAC,CAAC,IAAI,CAAA;;;;;;2BAMH;;;SAGlB,CAAC;IACN,CAAC;CACJ,CAAA;AAhCG;IADC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;0CACN;AAHb,YAAY;IADxB,aAAa,CAAC,iBAAiB,CAAC;GACpB,YAAY,CAmCxB"}
@@ -34,10 +34,7 @@ let BatchInputEditor = class BatchInputEditor extends CodeMirrorEditor {
34
34
  constructor() {
35
35
  super();
36
36
  this.configure({
37
- default: [
38
- usedLineExtension,
39
- keymap.of(defaultKeymap),
40
- ]
37
+ default: [usedLineExtension, keymap.of(defaultKeymap)],
41
38
  });
42
39
  }
43
40
  };
@@ -1 +1 @@
1
- {"version":3,"file":"BatchInputEditor.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/BatchInputEditor.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,GAAG,EAAa,MAAM,KAAK,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAGxD,IAAM,gBAAgB,GAAtB,MAAM,gBAAiB,SAAQ,gBAAgB;IAClD,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;SAKT,CAAA;IACL,CAAC;IAGD,IAAI,SAAS,CAAC,KAAa;;QACvB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAC,CAAC,CAAC,CAAA;QAC1D,MAAA,IAAI,CAAC,IAAI,0CAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC;SAClC,CAAC,CAAA;IACN,CAAC;IAGD,IAAI,QAAQ,CAAC,KAAc;QACvB,IAAI,CAAC,SAAS,CAAC;YACX,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA,CAAC,CAAC,EAAE;SACvD,CAAC,CAAA;IACN,CAAC;IAED;QACI,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,SAAS,CAAC;YACX,OAAO,EAAE;gBACL,iBAAiB;gBACjB,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC;aAC3B;SACJ,CAAC,CAAA;IACN,CAAC;CAEJ,CAAA;AAxBG;IADC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;iDAM1B;AAGD;IADC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;gDAK3B;AAvBQ,gBAAgB;IAD5B,aAAa,CAAC,sBAAsB,CAAC;GACzB,gBAAgB,CAmC5B"}
1
+ {"version":3,"file":"BatchInputEditor.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/BatchInputEditor.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,GAAG,EAAa,MAAM,KAAK,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAGxD,IAAM,gBAAgB,GAAtB,MAAM,gBAAiB,SAAQ,gBAAgB;IAClD,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;SAKT,CAAC;IACN,CAAC;IAGD,IAAI,SAAS,CAAC,KAAa;;QACvB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,MAAA,IAAI,CAAC,IAAI,0CAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;IACP,CAAC;IAGD,IAAI,QAAQ,CAAC,KAAc;QACvB,IAAI,CAAC,SAAS,CAAC;YACX,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;SACxD,CAAC,CAAC;IACP,CAAC;IAED;QACI,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,SAAS,CAAC;YACX,OAAO,EAAE,CAAC,iBAAiB,EAAE,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;SACzD,CAAC,CAAC;IACP,CAAC;CACJ,CAAA;AApBG;IADC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;iDAM1B;AAGD;IADC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;gDAK3B;AAvBQ,gBAAgB;IAD5B,aAAa,CAAC,sBAAsB,CAAC;GACzB,gBAAgB,CA+B5B"}
@@ -15,11 +15,11 @@ var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, ge
15
15
  };
16
16
  import { customElement } from "lit/decorators.js";
17
17
  import { CodeMirrorEditor } from "./CodeMirrorEditor";
18
- import { drawSelection, highlightActiveLine, highlightActiveLineGutter, highlightSpecialChars, keymap, lineNumbers, rectangularSelection } from "@codemirror/view";
18
+ import { drawSelection, highlightActiveLine, highlightActiveLineGutter, highlightSpecialChars, keymap, lineNumbers, rectangularSelection, } from "@codemirror/view";
19
19
  import { defaultKeymap, history, historyKeymap, indentWithTab } from "@codemirror/commands";
20
20
  import { bracketMatching, foldGutter, indentOnInput, indentUnit } from "@codemirror/language";
21
21
  import { EditorState } from "@codemirror/state";
22
- import { acceptCompletion, autocompletion, closeBrackets, closeBracketsKeymap, completionKeymap } from "@codemirror/autocomplete";
22
+ import { acceptCompletion, autocompletion, closeBrackets, closeBracketsKeymap, completionKeymap, } from "@codemirror/autocomplete";
23
23
  import { highlightSelectionMatches, searchKeymap } from "@codemirror/search";
24
24
  import { linter, lintGutter, lintKeymap } from "@codemirror/lint";
25
25
  import { css } from "lit";
@@ -30,7 +30,7 @@ import readOnlyRangesExtension from "codemirror-readonly-ranges";
30
30
  const tabCompletionKeyMap = [{ key: "Tab", run: acceptCompletion }];
31
31
  const languageExtensions = {
32
32
  JavaScript: javascript(),
33
- Python: python()
33
+ Python: python(),
34
34
  };
35
35
  let CodeEditor = class CodeEditor extends CodeMirrorEditor {
36
36
  static get styles() {
@@ -43,7 +43,7 @@ let CodeEditor = class CodeEditor extends CodeMirrorEditor {
43
43
  .papyros-test-line {
44
44
  background-color: var(--md-sys-color-surface-variant);
45
45
  }
46
-
46
+
47
47
  .papyros-test-code-widget {
48
48
  background-color: var(--md-sys-color-surface-variant);
49
49
  color: var(--md-sys-color-on-surface-variant);
@@ -73,11 +73,7 @@ let CodeEditor = class CodeEditor extends CodeMirrorEditor {
73
73
  }
74
74
  set debug(value) {
75
75
  this.configure({
76
- debugging: value ? debugLineExtension : [
77
- highlightActiveLineGutter(),
78
- lintGutter(),
79
- highlightActiveLine()
80
- ]
76
+ debugging: value ? debugLineExtension : [highlightActiveLineGutter(), lintGutter(), highlightActiveLine()],
81
77
  });
82
78
  this.readonly = value;
83
79
  }
@@ -109,10 +105,12 @@ let CodeEditor = class CodeEditor extends CodeMirrorEditor {
109
105
  }
110
106
  set testLineCount(value) {
111
107
  this.configure({
112
- testReadOnlyRanges: value ? readOnlyRangesExtension(state => {
113
- const line = state.doc.lines - value + 1;
114
- return [{ from: state.doc.line(line).from, to: state.doc.length }];
115
- }) : [],
108
+ testReadOnlyRanges: value
109
+ ? readOnlyRangesExtension((state) => {
110
+ const line = state.doc.lines - value + 1;
111
+ return [{ from: state.doc.line(line).from, to: state.doc.length }];
112
+ })
113
+ : [],
116
114
  });
117
115
  }
118
116
  set testTranslations(value) {
@@ -124,7 +122,7 @@ let CodeEditor = class CodeEditor extends CodeMirrorEditor {
124
122
  }, () => {
125
123
  this.dispatchEvent(new CustomEvent("remove-test-code"));
126
124
  }),
127
- ]
125
+ ],
128
126
  });
129
127
  }
130
128
  set programmingLanguage(value) {
@@ -143,24 +141,24 @@ let CodeEditor = class CodeEditor extends CodeMirrorEditor {
143
141
  this.configure({
144
142
  linting: linter((view) => __awaiter(this, void 0, void 0, function* () {
145
143
  const workerDiagnostics = yield lintSource();
146
- if (workerDiagnostics.some(d => d.lineNr > view.state.doc.lines || d.endLineNr > view.state.doc.lines)) {
144
+ if (workerDiagnostics.some((d) => d.lineNr > view.state.doc.lines || d.endLineNr > view.state.doc.lines)) {
147
145
  // if the diagnostics are out of range, the document has changed since the linting was requested
148
146
  // these diagnostics are no longer valid
149
147
  return [];
150
148
  }
151
- return workerDiagnostics.map(d => {
149
+ return workerDiagnostics.map((d) => {
152
150
  const fromline = view.state.doc.line(d.lineNr);
153
151
  const toLine = view.state.doc.line(d.endLineNr);
154
152
  const from = Math.min(fromline.from + d.columnNr, fromline.to);
155
153
  const to = Math.min(toLine.from + d.endColumnNr, toLine.to);
156
154
  return Object.assign(Object.assign({}, d), { from: from, to: to });
157
155
  });
158
- }))
156
+ })),
159
157
  });
160
158
  }
161
159
  set indentLength(length) {
162
160
  this.configure({
163
- indentUnit: indentUnit.of(" ".repeat(length))
161
+ indentUnit: indentUnit.of(" ".repeat(length)),
164
162
  });
165
163
  }
166
164
  constructor() {
@@ -188,14 +186,10 @@ let CodeEditor = class CodeEditor extends CodeMirrorEditor {
188
186
  ...completionKeymap,
189
187
  ...tabCompletionKeyMap,
190
188
  ...lintKeymap,
191
- indentWithTab
189
+ indentWithTab,
192
190
  ]),
193
191
  ],
194
- debugging: [
195
- highlightActiveLineGutter(),
196
- lintGutter(),
197
- highlightActiveLine()
198
- ],
192
+ debugging: [highlightActiveLineGutter(), lintGutter(), highlightActiveLine()],
199
193
  });
200
194
  }
201
195
  };
@@ -1 +1 @@
1
- {"version":3,"file":"CodeEditor.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/CodeEditor.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EACH,aAAa,EAAE,mBAAmB,EAClC,yBAAyB,EACzB,qBAAqB,EACrB,MAAM,EACN,WAAW,EACX,oBAAoB,EACvB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC5F,OAAO,EACH,eAAe,EACf,UAAU,EACV,aAAa,EAAE,UAAU,EAE5B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,EACnB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,GAAG,EAAa,MAAM,KAAK,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAGjD,OAAO,EACH,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,uBAAuB,EACvB,iBAAiB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,uBAAuB,MAAM,4BAA4B,CAAC;AAEjE,MAAM,mBAAmB,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAC;AACpE,MAAM,kBAAkB,GAAiD;IACrE,UAAU,EAAE,UAAU,EAAE;IACxB,MAAM,EAAE,MAAM,EAAE;CACnB,CAAA;AAGM,IAAM,UAAU,GAAhB,MAAM,UAAW,SAAQ,gBAAgB;IAC5C,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAmCT,CAAC;IACN,CAAC;IAED,IAAI,KAAK,CAAC,KAAc;QACpB,IAAI,CAAC,SAAS,CAAC;YACX,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC;gBACpC,yBAAyB,EAAE;gBAC3B,UAAU,EAAE;gBACZ,mBAAmB,EAAE;aACxB;SACJ,CAAC,CAAA;QACF,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;IAC1B,CAAC;IAED,IAAI,SAAS,CAAC,KAAyB;;QACnC,MAAA,IAAI,CAAC,IAAI,0CAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAClD,CAAC,CAAC;IACP,CAAC;IAED,IAAI,SAAS,CAAC,KAA2B;;QACrC,MAAA,IAAI,CAAC,IAAI,0CAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;IACP,CAAC;IAED;;OAEG;IACM,cAAc;;QACnB,MAAM,qBAAqB,GAAG,MAAA,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,oBAAoB,CAAC,mCAAI,EAAE,CAAC;QAC9E,IAAI,CAAC,SAAS,CAAC;YACX,kBAAkB,EAAE,EAAE;SACzB,CAAC,CAAA;QACF,KAAK,CAAC,cAAc,EAAE,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC;YACX,kBAAkB,EAAE,qBAAqB;SAC5C,CAAC,CAAA;IACN,CAAC;IAED,IAAI,aAAa,CAAC,KAAyB;QACvC,IAAI,CAAC,SAAS,CAAC;YACX,kBAAkB,EAAE,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE;gBACxD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC;gBACzC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;YACvE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;SACV,CAAC,CAAC;IACP,CAAC;IAED,IAAI,gBAAgB,CAAC,KAA0D;QAC3E,IAAI,CAAC,SAAS,CAAC;YACX,IAAI,EAAE;gBACF,iBAAiB;gBACjB,uBAAuB,CAAC,KAAK,EAAE,GAAG,EAAE;oBAChC,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBAC1D,CAAC,EAAE,GAAG,EAAE;oBACJ,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,kBAAkB,CAAC,CAAC,CAAC;gBAC5D,CAAC,CAAC;aACL;SACJ,CAAC,CAAA;IACN,CAAC;IAED,IAAI,mBAAmB,CAAC,KAA0B;QAC9C,IAAI,CAAC,CAAC,KAAK,IAAI,kBAAkB,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,0CAA0C,CAAC,CAAC;YAC1E,IAAI,CAAC,SAAS,CAAC;gBACX,QAAQ,EAAE,kBAAkB,CAAC,UAAU;aAC1C,CAAC,CAAA;YACF,OAAO;QACX,CAAC;QAED,IAAI,CAAC,SAAS,CAAC;YACX,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC;SACtC,CAAC,CAAC;IACP,CAAC;IAED,IAAI,aAAa,CAAE,UAAsD;QACrE,IAAI,CAAC,SAAS,CAAC;YACX,OAAO,EAAE,MAAM,CAAC,CAAM,IAAI,EAAC,EAAE;gBACzB,MAAM,iBAAiB,GAAG,MAAM,UAAU,EAAE,CAAC;gBAC7C,IAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBACpG,gGAAgG;oBAChG,wCAAwC;oBACxC,OAAO,EAAE,CAAC;gBACd,CAAC;gBAED,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;oBAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;oBAChD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;oBAC/D,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;oBAC5D,uCAAY,CAAC,KAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAG;gBACxC,CAAC,CAAC,CAAA;YACN,CAAC,CAAA,CAAC;SACL,CAAC,CAAA;IACN,CAAC;IAED,IAAI,YAAY,CAAC,MAAc;QAC3B,IAAI,CAAC,SAAS,CAAC;YACX,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;SAChD,CAAC,CAAC;IACP,CAAC;IAED;QACI,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,SAAS,CAAC;YACX,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE;gBACd,WAAW,EAAE;gBACb,qBAAqB,EAAE;gBACvB,OAAO,EAAE;gBACT,UAAU,EAAE;gBACZ,aAAa,EAAE;gBACf,WAAW,CAAC,uBAAuB,CAAC,EAAE,CAAC,IAAI,CAAC;gBAC5C,aAAa,EAAE;gBACf,eAAe,EAAE;gBACjB,aAAa,EAAE;gBACf,cAAc,EAAE;gBAChB,oBAAoB,EAAE;gBACtB,yBAAyB,EAAE;gBAC3B,MAAM,CAAC,EAAE,CAAC;oBACN,GAAG,mBAAmB;oBACtB,GAAG,aAAa;oBAChB,GAAG,YAAY;oBACf,GAAG,aAAa;oBAChB,GAAG,gBAAgB;oBACnB,GAAG,mBAAmB;oBACtB,GAAG,UAAU;oBACb,aAAa;iBAChB,CAAC;aACL;YACD,SAAS,EAAE;gBACP,yBAAyB,EAAE;gBAC3B,UAAU,EAAE;gBACZ,mBAAmB,EAAE;aACxB;SACJ,CAAC,CAAC;IACP,CAAC;CACJ,CAAA;AA/KY,UAAU;IADtB,aAAa,CAAC,eAAe,CAAC;GAClB,UAAU,CA+KtB"}
1
+ {"version":3,"file":"CodeEditor.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/CodeEditor.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EACH,aAAa,EACb,mBAAmB,EACnB,yBAAyB,EACzB,qBAAqB,EACrB,MAAM,EACN,WAAW,EACX,oBAAoB,GACvB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC5F,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAmB,MAAM,sBAAsB,CAAC;AAC/G,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,mBAAmB,EACnB,gBAAgB,GACnB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,GAAG,EAAa,MAAM,KAAK,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAGjD,OAAO,EACH,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,uBAAuB,EACvB,iBAAiB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,uBAAuB,MAAM,4BAA4B,CAAC;AAEjE,MAAM,mBAAmB,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAC;AACpE,MAAM,kBAAkB,GAAiD;IACrE,UAAU,EAAE,UAAU,EAAE;IACxB,MAAM,EAAE,MAAM,EAAE;CACnB,CAAC;AAGK,IAAM,UAAU,GAAhB,MAAM,UAAW,SAAQ,gBAAgB;IAC5C,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAmCT,CAAC;IACN,CAAC;IAED,IAAI,KAAK,CAAC,KAAc;QACpB,IAAI,CAAC,SAAS,CAAC;YACX,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,yBAAyB,EAAE,EAAE,UAAU,EAAE,EAAE,mBAAmB,EAAE,CAAC;SAC7G,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;IAC1B,CAAC;IAED,IAAI,SAAS,CAAC,KAAyB;;QACnC,MAAA,IAAI,CAAC,IAAI,0CAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAClD,CAAC,CAAC;IACP,CAAC;IAED,IAAI,SAAS,CAAC,KAA2B;;QACrC,MAAA,IAAI,CAAC,IAAI,0CAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;IACP,CAAC;IAED;;OAEG;IACM,cAAc;;QACnB,MAAM,qBAAqB,GAAG,MAAA,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,oBAAoB,CAAC,mCAAI,EAAE,CAAC;QAC9E,IAAI,CAAC,SAAS,CAAC;YACX,kBAAkB,EAAE,EAAE;SACzB,CAAC,CAAC;QACH,KAAK,CAAC,cAAc,EAAE,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC;YACX,kBAAkB,EAAE,qBAAqB;SAC5C,CAAC,CAAC;IACP,CAAC;IAED,IAAI,aAAa,CAAC,KAAyB;QACvC,IAAI,CAAC,SAAS,CAAC;YACX,kBAAkB,EAAE,KAAK;gBACrB,CAAC,CAAC,uBAAuB,CAAC,CAAC,KAAK,EAAE,EAAE;oBAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC;oBACzC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;gBACvE,CAAC,CAAC;gBACJ,CAAC,CAAC,EAAE;SACX,CAAC,CAAC;IACP,CAAC;IAED,IAAI,gBAAgB,CAAC,KAA4D;QAC7E,IAAI,CAAC,SAAS,CAAC;YACX,IAAI,EAAE;gBACF,iBAAiB;gBACjB,uBAAuB,CACnB,KAAK,EACL,GAAG,EAAE;oBACD,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBAC1D,CAAC,EACD,GAAG,EAAE;oBACD,IAAI,CAAC,aAAa,CAAC,IAAI,WAAW,CAAC,kBAAkB,CAAC,CAAC,CAAC;gBAC5D,CAAC,CACJ;aACJ;SACJ,CAAC,CAAC;IACP,CAAC;IAED,IAAI,mBAAmB,CAAC,KAA0B;QAC9C,IAAI,CAAC,CAAC,KAAK,IAAI,kBAAkB,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,0CAA0C,CAAC,CAAC;YAC1E,IAAI,CAAC,SAAS,CAAC;gBACX,QAAQ,EAAE,kBAAkB,CAAC,UAAU;aAC1C,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC,SAAS,CAAC;YACX,QAAQ,EAAE,kBAAkB,CAAC,KAAK,CAAC;SACtC,CAAC,CAAC;IACP,CAAC;IAED,IAAI,aAAa,CAAC,UAAsD;QACpE,IAAI,CAAC,SAAS,CAAC;YACX,OAAO,EAAE,MAAM,CAAC,CAAO,IAAI,EAAE,EAAE;gBAC3B,MAAM,iBAAiB,GAAG,MAAM,UAAU,EAAE,CAAC;gBAC7C,IACI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EACtG,CAAC;oBACC,gGAAgG;oBAChG,wCAAwC;oBACxC,OAAO,EAAE,CAAC;gBACd,CAAC;gBAED,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;oBAChD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;oBAC/D,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;oBAC5D,uCAAY,CAAC,KAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAG;gBACxC,CAAC,CAAC,CAAC;YACP,CAAC,CAAA,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IAED,IAAI,YAAY,CAAC,MAAc;QAC3B,IAAI,CAAC,SAAS,CAAC;YACX,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;SAChD,CAAC,CAAC;IACP,CAAC;IAED;QACI,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,SAAS,CAAC;YACX,QAAQ,EAAE,EAAE;YACZ,gBAAgB,EAAE;gBACd,WAAW,EAAE;gBACb,qBAAqB,EAAE;gBACvB,OAAO,EAAE;gBACT,UAAU,EAAE;gBACZ,aAAa,EAAE;gBACf,WAAW,CAAC,uBAAuB,CAAC,EAAE,CAAC,IAAI,CAAC;gBAC5C,aAAa,EAAE;gBACf,eAAe,EAAE;gBACjB,aAAa,EAAE;gBACf,cAAc,EAAE;gBAChB,oBAAoB,EAAE;gBACtB,yBAAyB,EAAE;gBAC3B,MAAM,CAAC,EAAE,CAAC;oBACN,GAAG,mBAAmB;oBACtB,GAAG,aAAa;oBAChB,GAAG,YAAY;oBACf,GAAG,aAAa;oBAChB,GAAG,gBAAgB;oBACnB,GAAG,mBAAmB;oBACtB,GAAG,UAAU;oBACb,aAAa;iBAChB,CAAC;aACL;YACD,SAAS,EAAE,CAAC,yBAAyB,EAAE,EAAE,UAAU,EAAE,EAAE,mBAAmB,EAAE,CAAC;SAChF,CAAC,CAAC;IACP,CAAC;CACJ,CAAA;AA/KY,UAAU;IADtB,aAAa,CAAC,eAAe,CAAC;GAClB,UAAU,CA+KtB"}
@@ -38,8 +38,8 @@ let CodeMirrorEditor = class CodeMirrorEditor extends LitElement {
38
38
  changes: {
39
39
  from: 0,
40
40
  to: this.view.state.doc.length,
41
- insert: this.__value
42
- }
41
+ insert: this.__value,
42
+ },
43
43
  });
44
44
  this.configure({ editable: EditorView.editable.of(!this.__readonly) });
45
45
  }
@@ -60,10 +60,13 @@ let CodeMirrorEditor = class CodeMirrorEditor extends LitElement {
60
60
  initView() {
61
61
  this.view = new EditorView({
62
62
  parent: this.shadowRoot,
63
- state: EditorState.create({ doc: this.__value, extensions: [
63
+ state: EditorState.create({
64
+ doc: this.__value,
65
+ extensions: [
64
66
  EditorView.updateListener.of(this.onViewUpdate.bind(this)),
65
- [...this.compartments.keys().map(k => this.compartments.get(k).of([]))],
66
- ] })
67
+ [...this.compartments.keys().map((k) => this.compartments.get(k).of([]))],
68
+ ],
69
+ }),
67
70
  });
68
71
  this.configure(Object.fromEntries(this.extensions));
69
72
  }
@@ -87,7 +90,7 @@ let CodeMirrorEditor = class CodeMirrorEditor extends LitElement {
87
90
  Object.entries(extensions).forEach(([key, ext]) => {
88
91
  this.extensions.set(key, ext);
89
92
  });
90
- const effects = Object.keys(extensions).map(key => {
93
+ const effects = Object.keys(extensions).map((key) => {
91
94
  const extension = extensions[key];
92
95
  if (this.compartments.has(key)) {
93
96
  return this.compartments.get(key).reconfigure(extension);