@theia/monaco 1.34.1 → 1.34.3

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 (170) hide show
  1. package/LICENSE +641 -641
  2. package/README.md +100 -100
  3. package/data/monaco-nls.json +1379 -1379
  4. package/data/monaco-themes/vscode/dark_plus.json +201 -201
  5. package/data/monaco-themes/vscode/dark_theia.json +5 -5
  6. package/data/monaco-themes/vscode/dark_vs.json +392 -392
  7. package/data/monaco-themes/vscode/hc_black.json +457 -457
  8. package/data/monaco-themes/vscode/hc_light.json +590 -590
  9. package/data/monaco-themes/vscode/hc_theia.json +5 -5
  10. package/data/monaco-themes/vscode/hc_theia_light.json +5 -5
  11. package/data/monaco-themes/vscode/light_plus.json +202 -202
  12. package/data/monaco-themes/vscode/light_theia.json +10 -10
  13. package/data/monaco-themes/vscode/light_vs.json +421 -421
  14. package/lib/browser/index.d.ts +1 -1
  15. package/lib/browser/index.js +28 -28
  16. package/lib/browser/markdown-renderer/monaco-markdown-renderer.d.ts +24 -24
  17. package/lib/browser/markdown-renderer/monaco-markdown-renderer.js +137 -137
  18. package/lib/browser/monaco-bulk-edit-service.d.ts +14 -14
  19. package/lib/browser/monaco-bulk-edit-service.js +66 -66
  20. package/lib/browser/monaco-color-registry.d.ts +16 -16
  21. package/lib/browser/monaco-color-registry.js +82 -82
  22. package/lib/browser/monaco-command-registry.d.ts +19 -19
  23. package/lib/browser/monaco-command-registry.js +82 -82
  24. package/lib/browser/monaco-command-service.d.ts +26 -26
  25. package/lib/browser/monaco-command-service.js +92 -92
  26. package/lib/browser/monaco-command.d.ts +94 -94
  27. package/lib/browser/monaco-command.js +306 -306
  28. package/lib/browser/monaco-context-key-service.d.ts +22 -22
  29. package/lib/browser/monaco-context-key-service.js +147 -147
  30. package/lib/browser/monaco-context-menu.d.ts +16 -16
  31. package/lib/browser/monaco-context-menu.js +102 -102
  32. package/lib/browser/monaco-diagnostic-collection.d.ts +28 -28
  33. package/lib/browser/monaco-diagnostic-collection.js +86 -86
  34. package/lib/browser/monaco-diff-editor.d.ts +29 -29
  35. package/lib/browser/monaco-diff-editor.js +74 -74
  36. package/lib/browser/monaco-diff-navigator-factory.d.ts +7 -7
  37. package/lib/browser/monaco-diff-navigator-factory.js +66 -66
  38. package/lib/browser/monaco-editor-model.d.ts +156 -156
  39. package/lib/browser/monaco-editor-model.js +555 -555
  40. package/lib/browser/monaco-editor-provider.d.ts +89 -89
  41. package/lib/browser/monaco-editor-provider.js +440 -440
  42. package/lib/browser/monaco-editor-service.d.ts +27 -27
  43. package/lib/browser/monaco-editor-service.js +151 -151
  44. package/lib/browser/monaco-editor-zone-widget.d.ts +43 -43
  45. package/lib/browser/monaco-editor-zone-widget.js +194 -194
  46. package/lib/browser/monaco-editor.d.ts +151 -151
  47. package/lib/browser/monaco-editor.js +497 -497
  48. package/lib/browser/monaco-formatting-conflicts.d.ts +13 -13
  49. package/lib/browser/monaco-formatting-conflicts.js +110 -110
  50. package/lib/browser/monaco-frontend-application-contribution.d.ts +26 -26
  51. package/lib/browser/monaco-frontend-application-contribution.js +201 -201
  52. package/lib/browser/monaco-frontend-module.d.ts +7 -7
  53. package/lib/browser/monaco-frontend-module.js +266 -266
  54. package/lib/browser/monaco-gotoline-quick-access.d.ts +11 -11
  55. package/lib/browser/monaco-gotoline-quick-access.js +64 -64
  56. package/lib/browser/monaco-gotosymbol-quick-access.d.ts +16 -16
  57. package/lib/browser/monaco-gotosymbol-quick-access.js +70 -70
  58. package/lib/browser/monaco-indexed-db.d.ts +28 -28
  59. package/lib/browser/monaco-indexed-db.js +131 -131
  60. package/lib/browser/monaco-keybinding-contexts.d.ts +15 -15
  61. package/lib/browser/monaco-keybinding-contexts.js +50 -50
  62. package/lib/browser/monaco-keybinding.d.ts +16 -16
  63. package/lib/browser/monaco-keybinding.js +134 -134
  64. package/lib/browser/monaco-keycode-map.d.ts +2 -2
  65. package/lib/browser/monaco-keycode-map.js +163 -163
  66. package/lib/browser/monaco-languages.d.ts +27 -27
  67. package/lib/browser/monaco-languages.js +136 -136
  68. package/lib/browser/monaco-menu.d.ts +20 -20
  69. package/lib/browser/monaco-menu.js +145 -145
  70. package/lib/browser/monaco-mime-service.d.ts +10 -10
  71. package/lib/browser/monaco-mime-service.js +78 -78
  72. package/lib/browser/monaco-outline-contribution.d.ts +78 -78
  73. package/lib/browser/monaco-outline-contribution.js +384 -384
  74. package/lib/browser/monaco-outline-decorator.d.ts +12 -12
  75. package/lib/browser/monaco-outline-decorator.js +67 -67
  76. package/lib/browser/monaco-quick-access-registry.d.ts +11 -11
  77. package/lib/browser/monaco-quick-access-registry.js +99 -99
  78. package/lib/browser/monaco-quick-input-service.d.ts +99 -99
  79. package/lib/browser/monaco-quick-input-service.js +555 -555
  80. package/lib/browser/monaco-resolved-keybinding.d.ts +23 -23
  81. package/lib/browser/monaco-resolved-keybinding.js +131 -131
  82. package/lib/browser/monaco-snippet-suggest-provider.d.ts +64 -64
  83. package/lib/browser/monaco-snippet-suggest-provider.js +269 -269
  84. package/lib/browser/monaco-status-bar-contribution.d.ts +17 -17
  85. package/lib/browser/monaco-status-bar-contribution.js +120 -120
  86. package/lib/browser/monaco-text-model-service.d.ts +51 -51
  87. package/lib/browser/monaco-text-model-service.js +184 -184
  88. package/lib/browser/monaco-theming-service.d.ts +67 -67
  89. package/lib/browser/monaco-theming-service.js +171 -171
  90. package/lib/browser/monaco-to-protocol-converter.d.ts +26 -26
  91. package/lib/browser/monaco-to-protocol-converter.js +61 -61
  92. package/lib/browser/monaco-workspace.d.ts +83 -83
  93. package/lib/browser/monaco-workspace.js +369 -369
  94. package/lib/browser/protocol-to-monaco-converter.d.ts +31 -31
  95. package/lib/browser/protocol-to-monaco-converter.js +133 -133
  96. package/lib/browser/textmate/index.d.ts +4 -4
  97. package/lib/browser/textmate/index.js +31 -31
  98. package/lib/browser/textmate/monaco-textmate-frontend-bindings.d.ts +12 -12
  99. package/lib/browser/textmate/monaco-textmate-frontend-bindings.js +94 -94
  100. package/lib/browser/textmate/monaco-textmate-service.d.ts +30 -30
  101. package/lib/browser/textmate/monaco-textmate-service.js +185 -185
  102. package/lib/browser/textmate/monaco-theme-registry.d.ts +27 -27
  103. package/lib/browser/textmate/monaco-theme-registry.js +171 -171
  104. package/lib/browser/textmate/monaco-theme-types.d.ts +20 -20
  105. package/lib/browser/textmate/monaco-theme-types.js +21 -21
  106. package/lib/browser/textmate/textmate-contribution.d.ts +9 -9
  107. package/lib/browser/textmate/textmate-contribution.js +27 -27
  108. package/lib/browser/textmate/textmate-registry.d.ts +31 -31
  109. package/lib/browser/textmate/textmate-registry.js +109 -109
  110. package/lib/browser/textmate/textmate-snippet-completion-provider.d.ts +26 -26
  111. package/lib/browser/textmate/textmate-snippet-completion-provider.js +53 -53
  112. package/lib/browser/textmate/textmate-tokenizer.d.ts +22 -22
  113. package/lib/browser/textmate/textmate-tokenizer.js +65 -65
  114. package/lib/browser/workspace-symbol-command.d.ts +55 -55
  115. package/lib/browser/workspace-symbol-command.js +215 -215
  116. package/lib/package.spec.js +25 -25
  117. package/package.json +8 -8
  118. package/src/browser/index.ts +17 -17
  119. package/src/browser/markdown-renderer/monaco-markdown-renderer.ts +117 -117
  120. package/src/browser/monaco-bulk-edit-service.ts +64 -64
  121. package/src/browser/monaco-color-registry.ts +73 -73
  122. package/src/browser/monaco-command-registry.ts +82 -82
  123. package/src/browser/monaco-command-service.ts +99 -99
  124. package/src/browser/monaco-command.ts +311 -311
  125. package/src/browser/monaco-context-key-service.ts +143 -143
  126. package/src/browser/monaco-context-menu.ts +90 -90
  127. package/src/browser/monaco-diagnostic-collection.ts +101 -101
  128. package/src/browser/monaco-diff-editor.ts +101 -101
  129. package/src/browser/monaco-diff-navigator-factory.ts +61 -61
  130. package/src/browser/monaco-editor-model.ts +681 -681
  131. package/src/browser/monaco-editor-provider.ts +452 -452
  132. package/src/browser/monaco-editor-service.ts +144 -144
  133. package/src/browser/monaco-editor-zone-widget.ts +250 -250
  134. package/src/browser/monaco-editor.ts +644 -644
  135. package/src/browser/monaco-formatting-conflicts.ts +115 -115
  136. package/src/browser/monaco-frontend-application-contribution.ts +188 -188
  137. package/src/browser/monaco-frontend-module.ts +314 -314
  138. package/src/browser/monaco-gotoline-quick-access.ts +47 -47
  139. package/src/browser/monaco-gotosymbol-quick-access.ts +53 -53
  140. package/src/browser/monaco-indexed-db.ts +130 -130
  141. package/src/browser/monaco-keybinding-contexts.ts +43 -43
  142. package/src/browser/monaco-keybinding.ts +111 -111
  143. package/src/browser/monaco-keycode-map.ts +171 -171
  144. package/src/browser/monaco-languages.ts +129 -129
  145. package/src/browser/monaco-menu.ts +142 -142
  146. package/src/browser/monaco-mime-service.ts +71 -71
  147. package/src/browser/monaco-outline-contribution.ts +404 -404
  148. package/src/browser/monaco-outline-decorator.ts +66 -66
  149. package/src/browser/monaco-quick-access-registry.ts +112 -112
  150. package/src/browser/monaco-quick-input-service.ts +651 -651
  151. package/src/browser/monaco-resolved-keybinding.ts +162 -162
  152. package/src/browser/monaco-snippet-suggest-provider.ts +300 -300
  153. package/src/browser/monaco-status-bar-contribution.ts +109 -109
  154. package/src/browser/monaco-text-model-service.ts +194 -194
  155. package/src/browser/monaco-theming-service.ts +204 -204
  156. package/src/browser/monaco-to-protocol-converter.ts +71 -71
  157. package/src/browser/monaco-workspace.ts +393 -393
  158. package/src/browser/protocol-to-monaco-converter.ts +158 -158
  159. package/src/browser/style/index.css +267 -267
  160. package/src/browser/textmate/index.ts +20 -20
  161. package/src/browser/textmate/monaco-textmate-frontend-bindings.ts +94 -94
  162. package/src/browser/textmate/monaco-textmate-service.ts +187 -187
  163. package/src/browser/textmate/monaco-theme-registry.ts +176 -176
  164. package/src/browser/textmate/monaco-theme-types.ts +37 -37
  165. package/src/browser/textmate/textmate-contribution.ts +29 -29
  166. package/src/browser/textmate/textmate-registry.ts +129 -129
  167. package/src/browser/textmate/textmate-snippet-completion-provider.ts +73 -73
  168. package/src/browser/textmate/textmate-tokenizer.ts +84 -84
  169. package/src/browser/workspace-symbol-command.ts +196 -196
  170. package/src/package.spec.ts +28 -28
@@ -1,370 +1,370 @@
1
- "use strict";
2
- // *****************************************************************************
3
- // Copyright (C) 2018 TypeFox and others.
4
- //
5
- // This program and the accompanying materials are made available under the
6
- // terms of the Eclipse Public License v. 2.0 which is available at
7
- // http://www.eclipse.org/legal/epl-2.0.
8
- //
9
- // This Source Code may also be made available under the following Secondary
10
- // Licenses when the conditions for such availability set forth in the Eclipse
11
- // Public License v. 2.0 are satisfied: GNU General Public License, version 2
12
- // with the GNU Classpath Exception which is available at
13
- // https://www.gnu.org/software/classpath/license.html.
14
- //
15
- // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
16
- // *****************************************************************************
17
- var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
18
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
19
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
20
- 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;
21
- return c > 3 && r && Object.defineProperty(target, key, r), r;
22
- };
23
- var __metadata = (this && this.__metadata) || function (k, v) {
24
- if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
25
- };
26
- Object.defineProperty(exports, "__esModule", { value: true });
27
- exports.MonacoWorkspace = exports.ResourceTextEdit = exports.ResourceFileEdit = exports.WorkspaceTextEdit = exports.WorkspaceFileEdit = void 0;
28
- const inversify_1 = require("@theia/core/shared/inversify");
29
- const uri_1 = require("@theia/core/lib/common/uri");
30
- const event_1 = require("@theia/core/lib/common/event");
31
- const browser_1 = require("@theia/filesystem/lib/browser");
32
- const browser_2 = require("@theia/editor/lib/browser");
33
- const monaco_text_model_service_1 = require("./monaco-text-model-service");
34
- const monaco_editor_1 = require("./monaco-editor");
35
- const browser_3 = require("@theia/markers/lib/browser");
36
- const types_1 = require("@theia/core/lib/common/types");
37
- const file_service_1 = require("@theia/filesystem/lib/browser/file-service");
38
- const monaco = require("@theia/monaco-editor-core");
39
- const bulkEditService_1 = require("@theia/monaco-editor-core/esm/vs/editor/browser/services/bulkEditService");
40
- const editorWorker_1 = require("@theia/monaco-editor-core/esm/vs/editor/common/services/editorWorker");
41
- const standaloneServices_1 = require("@theia/monaco-editor-core/esm/vs/editor/standalone/browser/standaloneServices");
42
- const snippetParser_1 = require("@theia/monaco-editor-core/esm/vs/editor/contrib/snippet/browser/snippetParser");
43
- const common_1 = require("@theia/core/lib/common");
44
- var WorkspaceFileEdit;
45
- (function (WorkspaceFileEdit) {
46
- function is(arg) {
47
- return ('oldResource' in arg && monaco.Uri.isUri(arg.oldResource)) ||
48
- ('newResource' in arg && monaco.Uri.isUri(arg.newResource));
49
- }
50
- WorkspaceFileEdit.is = is;
51
- })(WorkspaceFileEdit = exports.WorkspaceFileEdit || (exports.WorkspaceFileEdit = {}));
52
- var WorkspaceTextEdit;
53
- (function (WorkspaceTextEdit) {
54
- function is(arg) {
55
- return (0, common_1.isObject)(arg)
56
- && monaco.Uri.isUri(arg.resource)
57
- && (0, common_1.isObject)(arg.textEdit);
58
- }
59
- WorkspaceTextEdit.is = is;
60
- })(WorkspaceTextEdit = exports.WorkspaceTextEdit || (exports.WorkspaceTextEdit = {}));
61
- var ResourceFileEdit;
62
- (function (ResourceFileEdit) {
63
- function is(arg) {
64
- return (0, common_1.isObject)(arg) && (monaco.Uri.isUri(arg.oldResource) || monaco.Uri.isUri(arg.newResource));
65
- }
66
- ResourceFileEdit.is = is;
67
- })(ResourceFileEdit = exports.ResourceFileEdit || (exports.ResourceFileEdit = {}));
68
- var ResourceTextEdit;
69
- (function (ResourceTextEdit) {
70
- function is(arg) {
71
- return ('resource' in arg && monaco.Uri.isUri(arg.resource));
72
- }
73
- ResourceTextEdit.is = is;
74
- })(ResourceTextEdit = exports.ResourceTextEdit || (exports.ResourceTextEdit = {}));
75
- let MonacoWorkspace = class MonacoWorkspace {
76
- constructor() {
77
- this.ready = new Promise(resolve => {
78
- this.resolveReady = resolve;
79
- });
80
- this.onDidOpenTextDocumentEmitter = new event_1.Emitter();
81
- this.onDidOpenTextDocument = this.onDidOpenTextDocumentEmitter.event;
82
- this.onDidCloseTextDocumentEmitter = new event_1.Emitter();
83
- this.onDidCloseTextDocument = this.onDidCloseTextDocumentEmitter.event;
84
- this.onDidChangeTextDocumentEmitter = new event_1.Emitter();
85
- this.onDidChangeTextDocument = this.onDidChangeTextDocumentEmitter.event;
86
- this.onWillSaveTextDocumentEmitter = new event_1.Emitter();
87
- this.onWillSaveTextDocument = this.onWillSaveTextDocumentEmitter.event;
88
- this.onDidSaveTextDocumentEmitter = new event_1.Emitter();
89
- this.onDidSaveTextDocument = this.onDidSaveTextDocumentEmitter.event;
90
- this.suppressedOpenIfDirty = [];
91
- }
92
- init() {
93
- this.resolveReady();
94
- for (const model of this.textModelService.models) {
95
- this.fireDidOpen(model);
96
- }
97
- this.textModelService.onDidCreate(model => this.fireDidOpen(model));
98
- }
99
- get textDocuments() {
100
- return this.textModelService.models;
101
- }
102
- getTextDocument(uri) {
103
- return this.textModelService.get(uri);
104
- }
105
- fireDidOpen(model) {
106
- this.doFireDidOpen(model);
107
- model.textEditorModel.onDidChangeLanguage(e => {
108
- this.problems.cleanAllMarkers(new uri_1.default(model.uri));
109
- model.setLanguageId(e.oldLanguage);
110
- try {
111
- this.fireDidClose(model);
112
- }
113
- finally {
114
- model.setLanguageId(undefined);
115
- }
116
- this.doFireDidOpen(model);
117
- });
118
- model.onDidChangeContent(event => this.fireDidChangeContent(event));
119
- model.onDidSaveModel(() => this.fireDidSave(model));
120
- model.onWillSaveModel(event => this.fireWillSave(event));
121
- model.onDirtyChanged(() => this.openEditorIfDirty(model));
122
- model.onDispose(() => this.fireDidClose(model));
123
- }
124
- doFireDidOpen(model) {
125
- this.onDidOpenTextDocumentEmitter.fire(model);
126
- }
127
- fireDidClose(model) {
128
- this.onDidCloseTextDocumentEmitter.fire(model);
129
- }
130
- fireDidChangeContent(event) {
131
- this.onDidChangeTextDocumentEmitter.fire(event);
132
- }
133
- fireWillSave(event) {
134
- this.onWillSaveTextDocumentEmitter.fire(event);
135
- }
136
- fireDidSave(model) {
137
- this.onDidSaveTextDocumentEmitter.fire(model);
138
- }
139
- openEditorIfDirty(model) {
140
- if (model.suppressOpenEditorWhenDirty || this.suppressedOpenIfDirty.indexOf(model) !== -1) {
141
- return;
142
- }
143
- if (model.dirty && monaco_editor_1.MonacoEditor.findByDocument(this.editorManager, model).length === 0) {
144
- // create a new reference to make sure the model is not disposed before it is
145
- // acquired by the editor, thus losing the changes that made it dirty.
146
- this.textModelService.createModelReference(model.textEditorModel.uri).then(ref => {
147
- (model.autoSave !== 'off' ? new Promise(resolve => model.onDidSaveModel(resolve)) :
148
- this.editorManager.open(new uri_1.default(model.uri), { mode: 'open' })).then(() => ref.dispose());
149
- });
150
- }
151
- }
152
- async suppressOpenIfDirty(model, cb) {
153
- this.suppressedOpenIfDirty.push(model);
154
- try {
155
- await cb();
156
- }
157
- finally {
158
- const i = this.suppressedOpenIfDirty.indexOf(model);
159
- if (i !== -1) {
160
- this.suppressedOpenIfDirty.splice(i, 1);
161
- }
162
- }
163
- }
164
- /**
165
- * Applies given edits to the given model.
166
- * The model is saved if no editors is opened for it.
167
- */
168
- applyBackgroundEdit(model, editOperations, shouldSave = true) {
169
- return this.suppressOpenIfDirty(model, async () => {
170
- const editor = monaco_editor_1.MonacoEditor.findByDocument(this.editorManager, model)[0];
171
- const cursorState = editor && editor.getControl().getSelections() || [];
172
- model.textEditorModel.pushStackElement();
173
- model.textEditorModel.pushEditOperations(cursorState, editOperations, () => cursorState);
174
- model.textEditorModel.pushStackElement();
175
- if (!editor && shouldSave) {
176
- await model.save();
177
- }
178
- });
179
- }
180
- async applyBulkEdit(edits) {
181
- try {
182
- let totalEdits = 0;
183
- let totalFiles = 0;
184
- const fileEdits = edits.filter(edit => edit instanceof bulkEditService_1.ResourceFileEdit);
185
- const [snippetEdits, textEdits] = types_1.ArrayUtils.partition(edits.filter(edit => edit instanceof bulkEditService_1.ResourceTextEdit), edit => { var _a, _b; return edit.textEdit.insertAsSnippet && (edit.resource.toString() === ((_b = (_a = this.editorManager.activeEditor) === null || _a === void 0 ? void 0 : _a.getResourceUri()) === null || _b === void 0 ? void 0 : _b.toString())); });
186
- if (fileEdits.length > 0) {
187
- await this.performFileEdits(fileEdits);
188
- }
189
- if (textEdits.length > 0) {
190
- const result = await this.performTextEdits(textEdits);
191
- totalEdits += result.totalEdits;
192
- totalFiles += result.totalFiles;
193
- }
194
- if (snippetEdits.length > 0) {
195
- await this.performSnippetEdits(snippetEdits);
196
- }
197
- const ariaSummary = this.getAriaSummary(totalEdits, totalFiles);
198
- return { ariaSummary, success: true };
199
- }
200
- catch (e) {
201
- console.error('Failed to apply Resource edits:', e);
202
- return {
203
- ariaSummary: `Error applying Resource edits: ${e.toString()}`,
204
- success: false
205
- };
206
- }
207
- }
208
- getAriaSummary(totalEdits, totalFiles) {
209
- if (totalEdits === 0) {
210
- return 'Made no edits';
211
- }
212
- if (totalEdits > 1 && totalFiles > 1) {
213
- return `Made ${totalEdits} text edits in ${totalFiles} files`;
214
- }
215
- return `Made ${totalEdits} text edits in one file`;
216
- }
217
- async performTextEdits(edits) {
218
- let totalEdits = 0;
219
- let totalFiles = 0;
220
- const resourceEdits = new Map();
221
- for (const edit of edits) {
222
- if (typeof edit.versionId === 'number') {
223
- const model = this.textModelService.get(edit.resource.toString());
224
- if (model && model.textEditorModel.getVersionId() !== edit.versionId) {
225
- throw new Error(`${model.uri} has changed in the meantime`);
226
- }
227
- }
228
- const key = edit.resource.toString();
229
- let array = resourceEdits.get(key);
230
- if (!array) {
231
- array = [];
232
- resourceEdits.set(key, array);
233
- }
234
- array.push(edit);
235
- }
236
- const pending = [];
237
- for (const [key, value] of resourceEdits) {
238
- pending.push((async () => {
239
- var _a;
240
- const uri = monaco.Uri.parse(key);
241
- let eol;
242
- const editOperations = [];
243
- const minimalEdits = await standaloneServices_1.StandaloneServices.get(editorWorker_1.IEditorWorkerService)
244
- .computeMoreMinimalEdits(uri, value.map(edit => this.transformSnippetStringToInsertText(edit)));
245
- if (minimalEdits) {
246
- for (const textEdit of minimalEdits) {
247
- if (typeof textEdit.eol === 'number') {
248
- eol = textEdit.eol;
249
- }
250
- if (monaco.Range.isEmpty(textEdit.range) && !textEdit.text) {
251
- // skip no-op
252
- continue;
253
- }
254
- editOperations.push({
255
- forceMoveMarkers: false,
256
- range: monaco.Range.lift(textEdit.range),
257
- text: textEdit.text
258
- });
259
- }
260
- }
261
- if (!editOperations.length && eol === undefined) {
262
- return;
263
- }
264
- const reference = await this.textModelService.createModelReference(uri);
265
- try {
266
- const document = reference.object;
267
- const model = document.textEditorModel;
268
- const editor = monaco_editor_1.MonacoEditor.findByDocument(this.editorManager, document)[0];
269
- const cursorState = (_a = editor === null || editor === void 0 ? void 0 : editor.getControl().getSelections()) !== null && _a !== void 0 ? _a : [];
270
- // start a fresh operation
271
- model.pushStackElement();
272
- if (editOperations.length) {
273
- model.pushEditOperations(cursorState, editOperations, () => cursorState);
274
- }
275
- if (eol !== undefined) {
276
- model.pushEOL(eol);
277
- }
278
- // push again to make this change an undoable operation
279
- model.pushStackElement();
280
- totalFiles += 1;
281
- totalEdits += editOperations.length;
282
- }
283
- finally {
284
- reference.dispose();
285
- }
286
- })());
287
- }
288
- await Promise.all(pending);
289
- return { totalEdits, totalFiles };
290
- }
291
- async performFileEdits(edits) {
292
- for (const edit of edits) {
293
- const options = edit.options || {};
294
- if (edit.newResource && edit.oldResource) {
295
- // rename
296
- if (options.overwrite === undefined && options.ignoreIfExists && await this.fileService.exists(new uri_1.default(edit.newResource))) {
297
- return; // not overwriting, but ignoring, and the target file exists
298
- }
299
- await this.fileService.move(new uri_1.default(edit.oldResource), new uri_1.default(edit.newResource), { overwrite: options.overwrite });
300
- }
301
- else if (!edit.newResource && edit.oldResource) {
302
- // delete file
303
- if (await this.fileService.exists(new uri_1.default(edit.oldResource))) {
304
- let useTrash = this.filePreferences['files.enableTrash'];
305
- if (useTrash && !(this.fileService.hasCapability(new uri_1.default(edit.oldResource), 4096 /* Trash */))) {
306
- useTrash = false; // not supported by provider
307
- }
308
- await this.fileService.delete(new uri_1.default(edit.oldResource), { useTrash, recursive: options.recursive });
309
- }
310
- else if (!options.ignoreIfNotExists) {
311
- throw new Error(`${edit.oldResource} does not exist and can not be deleted`);
312
- }
313
- }
314
- else if (edit.newResource && !edit.oldResource) {
315
- // create file
316
- if (options.overwrite === undefined && options.ignoreIfExists && await this.fileService.exists(new uri_1.default(edit.newResource))) {
317
- return; // not overwriting, but ignoring, and the target file exists
318
- }
319
- await this.fileService.create(new uri_1.default(edit.newResource), undefined, { overwrite: options.overwrite });
320
- }
321
- }
322
- }
323
- async performSnippetEdits(edits) {
324
- var _a;
325
- const activeEditor = (_a = monaco_editor_1.MonacoEditor.getActive(this.editorManager)) === null || _a === void 0 ? void 0 : _a.getControl();
326
- if (activeEditor) {
327
- const snippetController = activeEditor.getContribution('snippetController2');
328
- snippetController.apply(edits.map(edit => ({ range: monaco.Range.lift(edit.textEdit.range), template: edit.textEdit.text })));
329
- }
330
- }
331
- transformSnippetStringToInsertText(resourceEdit) {
332
- if (resourceEdit.textEdit.insertAsSnippet) {
333
- return Object.assign(Object.assign({}, resourceEdit.textEdit), { insertAsSnippet: false, text: snippetParser_1.SnippetParser.asInsertText(resourceEdit.textEdit.text) });
334
- }
335
- else {
336
- return resourceEdit.textEdit;
337
- }
338
- }
339
- };
340
- __decorate([
341
- (0, inversify_1.inject)(file_service_1.FileService),
342
- __metadata("design:type", file_service_1.FileService)
343
- ], MonacoWorkspace.prototype, "fileService", void 0);
344
- __decorate([
345
- (0, inversify_1.inject)(browser_1.FileSystemPreferences),
346
- __metadata("design:type", Object)
347
- ], MonacoWorkspace.prototype, "filePreferences", void 0);
348
- __decorate([
349
- (0, inversify_1.inject)(monaco_text_model_service_1.MonacoTextModelService),
350
- __metadata("design:type", monaco_text_model_service_1.MonacoTextModelService)
351
- ], MonacoWorkspace.prototype, "textModelService", void 0);
352
- __decorate([
353
- (0, inversify_1.inject)(browser_2.EditorManager),
354
- __metadata("design:type", browser_2.EditorManager)
355
- ], MonacoWorkspace.prototype, "editorManager", void 0);
356
- __decorate([
357
- (0, inversify_1.inject)(browser_3.ProblemManager),
358
- __metadata("design:type", browser_3.ProblemManager)
359
- ], MonacoWorkspace.prototype, "problems", void 0);
360
- __decorate([
361
- (0, inversify_1.postConstruct)(),
362
- __metadata("design:type", Function),
363
- __metadata("design:paramtypes", []),
364
- __metadata("design:returntype", void 0)
365
- ], MonacoWorkspace.prototype, "init", null);
366
- MonacoWorkspace = __decorate([
367
- (0, inversify_1.injectable)()
368
- ], MonacoWorkspace);
369
- exports.MonacoWorkspace = MonacoWorkspace;
1
+ "use strict";
2
+ // *****************************************************************************
3
+ // Copyright (C) 2018 TypeFox and others.
4
+ //
5
+ // This program and the accompanying materials are made available under the
6
+ // terms of the Eclipse Public License v. 2.0 which is available at
7
+ // http://www.eclipse.org/legal/epl-2.0.
8
+ //
9
+ // This Source Code may also be made available under the following Secondary
10
+ // Licenses when the conditions for such availability set forth in the Eclipse
11
+ // Public License v. 2.0 are satisfied: GNU General Public License, version 2
12
+ // with the GNU Classpath Exception which is available at
13
+ // https://www.gnu.org/software/classpath/license.html.
14
+ //
15
+ // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
16
+ // *****************************************************************************
17
+ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
18
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
19
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
20
+ 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;
21
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
22
+ };
23
+ var __metadata = (this && this.__metadata) || function (k, v) {
24
+ if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
25
+ };
26
+ Object.defineProperty(exports, "__esModule", { value: true });
27
+ exports.MonacoWorkspace = exports.ResourceTextEdit = exports.ResourceFileEdit = exports.WorkspaceTextEdit = exports.WorkspaceFileEdit = void 0;
28
+ const inversify_1 = require("@theia/core/shared/inversify");
29
+ const uri_1 = require("@theia/core/lib/common/uri");
30
+ const event_1 = require("@theia/core/lib/common/event");
31
+ const browser_1 = require("@theia/filesystem/lib/browser");
32
+ const browser_2 = require("@theia/editor/lib/browser");
33
+ const monaco_text_model_service_1 = require("./monaco-text-model-service");
34
+ const monaco_editor_1 = require("./monaco-editor");
35
+ const browser_3 = require("@theia/markers/lib/browser");
36
+ const types_1 = require("@theia/core/lib/common/types");
37
+ const file_service_1 = require("@theia/filesystem/lib/browser/file-service");
38
+ const monaco = require("@theia/monaco-editor-core");
39
+ const bulkEditService_1 = require("@theia/monaco-editor-core/esm/vs/editor/browser/services/bulkEditService");
40
+ const editorWorker_1 = require("@theia/monaco-editor-core/esm/vs/editor/common/services/editorWorker");
41
+ const standaloneServices_1 = require("@theia/monaco-editor-core/esm/vs/editor/standalone/browser/standaloneServices");
42
+ const snippetParser_1 = require("@theia/monaco-editor-core/esm/vs/editor/contrib/snippet/browser/snippetParser");
43
+ const common_1 = require("@theia/core/lib/common");
44
+ var WorkspaceFileEdit;
45
+ (function (WorkspaceFileEdit) {
46
+ function is(arg) {
47
+ return ('oldResource' in arg && monaco.Uri.isUri(arg.oldResource)) ||
48
+ ('newResource' in arg && monaco.Uri.isUri(arg.newResource));
49
+ }
50
+ WorkspaceFileEdit.is = is;
51
+ })(WorkspaceFileEdit = exports.WorkspaceFileEdit || (exports.WorkspaceFileEdit = {}));
52
+ var WorkspaceTextEdit;
53
+ (function (WorkspaceTextEdit) {
54
+ function is(arg) {
55
+ return (0, common_1.isObject)(arg)
56
+ && monaco.Uri.isUri(arg.resource)
57
+ && (0, common_1.isObject)(arg.textEdit);
58
+ }
59
+ WorkspaceTextEdit.is = is;
60
+ })(WorkspaceTextEdit = exports.WorkspaceTextEdit || (exports.WorkspaceTextEdit = {}));
61
+ var ResourceFileEdit;
62
+ (function (ResourceFileEdit) {
63
+ function is(arg) {
64
+ return (0, common_1.isObject)(arg) && (monaco.Uri.isUri(arg.oldResource) || monaco.Uri.isUri(arg.newResource));
65
+ }
66
+ ResourceFileEdit.is = is;
67
+ })(ResourceFileEdit = exports.ResourceFileEdit || (exports.ResourceFileEdit = {}));
68
+ var ResourceTextEdit;
69
+ (function (ResourceTextEdit) {
70
+ function is(arg) {
71
+ return ('resource' in arg && monaco.Uri.isUri(arg.resource));
72
+ }
73
+ ResourceTextEdit.is = is;
74
+ })(ResourceTextEdit = exports.ResourceTextEdit || (exports.ResourceTextEdit = {}));
75
+ let MonacoWorkspace = class MonacoWorkspace {
76
+ constructor() {
77
+ this.ready = new Promise(resolve => {
78
+ this.resolveReady = resolve;
79
+ });
80
+ this.onDidOpenTextDocumentEmitter = new event_1.Emitter();
81
+ this.onDidOpenTextDocument = this.onDidOpenTextDocumentEmitter.event;
82
+ this.onDidCloseTextDocumentEmitter = new event_1.Emitter();
83
+ this.onDidCloseTextDocument = this.onDidCloseTextDocumentEmitter.event;
84
+ this.onDidChangeTextDocumentEmitter = new event_1.Emitter();
85
+ this.onDidChangeTextDocument = this.onDidChangeTextDocumentEmitter.event;
86
+ this.onWillSaveTextDocumentEmitter = new event_1.Emitter();
87
+ this.onWillSaveTextDocument = this.onWillSaveTextDocumentEmitter.event;
88
+ this.onDidSaveTextDocumentEmitter = new event_1.Emitter();
89
+ this.onDidSaveTextDocument = this.onDidSaveTextDocumentEmitter.event;
90
+ this.suppressedOpenIfDirty = [];
91
+ }
92
+ init() {
93
+ this.resolveReady();
94
+ for (const model of this.textModelService.models) {
95
+ this.fireDidOpen(model);
96
+ }
97
+ this.textModelService.onDidCreate(model => this.fireDidOpen(model));
98
+ }
99
+ get textDocuments() {
100
+ return this.textModelService.models;
101
+ }
102
+ getTextDocument(uri) {
103
+ return this.textModelService.get(uri);
104
+ }
105
+ fireDidOpen(model) {
106
+ this.doFireDidOpen(model);
107
+ model.textEditorModel.onDidChangeLanguage(e => {
108
+ this.problems.cleanAllMarkers(new uri_1.default(model.uri));
109
+ model.setLanguageId(e.oldLanguage);
110
+ try {
111
+ this.fireDidClose(model);
112
+ }
113
+ finally {
114
+ model.setLanguageId(undefined);
115
+ }
116
+ this.doFireDidOpen(model);
117
+ });
118
+ model.onDidChangeContent(event => this.fireDidChangeContent(event));
119
+ model.onDidSaveModel(() => this.fireDidSave(model));
120
+ model.onWillSaveModel(event => this.fireWillSave(event));
121
+ model.onDirtyChanged(() => this.openEditorIfDirty(model));
122
+ model.onDispose(() => this.fireDidClose(model));
123
+ }
124
+ doFireDidOpen(model) {
125
+ this.onDidOpenTextDocumentEmitter.fire(model);
126
+ }
127
+ fireDidClose(model) {
128
+ this.onDidCloseTextDocumentEmitter.fire(model);
129
+ }
130
+ fireDidChangeContent(event) {
131
+ this.onDidChangeTextDocumentEmitter.fire(event);
132
+ }
133
+ fireWillSave(event) {
134
+ this.onWillSaveTextDocumentEmitter.fire(event);
135
+ }
136
+ fireDidSave(model) {
137
+ this.onDidSaveTextDocumentEmitter.fire(model);
138
+ }
139
+ openEditorIfDirty(model) {
140
+ if (model.suppressOpenEditorWhenDirty || this.suppressedOpenIfDirty.indexOf(model) !== -1) {
141
+ return;
142
+ }
143
+ if (model.dirty && monaco_editor_1.MonacoEditor.findByDocument(this.editorManager, model).length === 0) {
144
+ // create a new reference to make sure the model is not disposed before it is
145
+ // acquired by the editor, thus losing the changes that made it dirty.
146
+ this.textModelService.createModelReference(model.textEditorModel.uri).then(ref => {
147
+ (model.autoSave !== 'off' ? new Promise(resolve => model.onDidSaveModel(resolve)) :
148
+ this.editorManager.open(new uri_1.default(model.uri), { mode: 'open' })).then(() => ref.dispose());
149
+ });
150
+ }
151
+ }
152
+ async suppressOpenIfDirty(model, cb) {
153
+ this.suppressedOpenIfDirty.push(model);
154
+ try {
155
+ await cb();
156
+ }
157
+ finally {
158
+ const i = this.suppressedOpenIfDirty.indexOf(model);
159
+ if (i !== -1) {
160
+ this.suppressedOpenIfDirty.splice(i, 1);
161
+ }
162
+ }
163
+ }
164
+ /**
165
+ * Applies given edits to the given model.
166
+ * The model is saved if no editors is opened for it.
167
+ */
168
+ applyBackgroundEdit(model, editOperations, shouldSave = true) {
169
+ return this.suppressOpenIfDirty(model, async () => {
170
+ const editor = monaco_editor_1.MonacoEditor.findByDocument(this.editorManager, model)[0];
171
+ const cursorState = editor && editor.getControl().getSelections() || [];
172
+ model.textEditorModel.pushStackElement();
173
+ model.textEditorModel.pushEditOperations(cursorState, editOperations, () => cursorState);
174
+ model.textEditorModel.pushStackElement();
175
+ if (!editor && shouldSave) {
176
+ await model.save();
177
+ }
178
+ });
179
+ }
180
+ async applyBulkEdit(edits) {
181
+ try {
182
+ let totalEdits = 0;
183
+ let totalFiles = 0;
184
+ const fileEdits = edits.filter(edit => edit instanceof bulkEditService_1.ResourceFileEdit);
185
+ const [snippetEdits, textEdits] = types_1.ArrayUtils.partition(edits.filter(edit => edit instanceof bulkEditService_1.ResourceTextEdit), edit => { var _a, _b; return edit.textEdit.insertAsSnippet && (edit.resource.toString() === ((_b = (_a = this.editorManager.activeEditor) === null || _a === void 0 ? void 0 : _a.getResourceUri()) === null || _b === void 0 ? void 0 : _b.toString())); });
186
+ if (fileEdits.length > 0) {
187
+ await this.performFileEdits(fileEdits);
188
+ }
189
+ if (textEdits.length > 0) {
190
+ const result = await this.performTextEdits(textEdits);
191
+ totalEdits += result.totalEdits;
192
+ totalFiles += result.totalFiles;
193
+ }
194
+ if (snippetEdits.length > 0) {
195
+ await this.performSnippetEdits(snippetEdits);
196
+ }
197
+ const ariaSummary = this.getAriaSummary(totalEdits, totalFiles);
198
+ return { ariaSummary, success: true };
199
+ }
200
+ catch (e) {
201
+ console.error('Failed to apply Resource edits:', e);
202
+ return {
203
+ ariaSummary: `Error applying Resource edits: ${e.toString()}`,
204
+ success: false
205
+ };
206
+ }
207
+ }
208
+ getAriaSummary(totalEdits, totalFiles) {
209
+ if (totalEdits === 0) {
210
+ return 'Made no edits';
211
+ }
212
+ if (totalEdits > 1 && totalFiles > 1) {
213
+ return `Made ${totalEdits} text edits in ${totalFiles} files`;
214
+ }
215
+ return `Made ${totalEdits} text edits in one file`;
216
+ }
217
+ async performTextEdits(edits) {
218
+ let totalEdits = 0;
219
+ let totalFiles = 0;
220
+ const resourceEdits = new Map();
221
+ for (const edit of edits) {
222
+ if (typeof edit.versionId === 'number') {
223
+ const model = this.textModelService.get(edit.resource.toString());
224
+ if (model && model.textEditorModel.getVersionId() !== edit.versionId) {
225
+ throw new Error(`${model.uri} has changed in the meantime`);
226
+ }
227
+ }
228
+ const key = edit.resource.toString();
229
+ let array = resourceEdits.get(key);
230
+ if (!array) {
231
+ array = [];
232
+ resourceEdits.set(key, array);
233
+ }
234
+ array.push(edit);
235
+ }
236
+ const pending = [];
237
+ for (const [key, value] of resourceEdits) {
238
+ pending.push((async () => {
239
+ var _a;
240
+ const uri = monaco.Uri.parse(key);
241
+ let eol;
242
+ const editOperations = [];
243
+ const minimalEdits = await standaloneServices_1.StandaloneServices.get(editorWorker_1.IEditorWorkerService)
244
+ .computeMoreMinimalEdits(uri, value.map(edit => this.transformSnippetStringToInsertText(edit)));
245
+ if (minimalEdits) {
246
+ for (const textEdit of minimalEdits) {
247
+ if (typeof textEdit.eol === 'number') {
248
+ eol = textEdit.eol;
249
+ }
250
+ if (monaco.Range.isEmpty(textEdit.range) && !textEdit.text) {
251
+ // skip no-op
252
+ continue;
253
+ }
254
+ editOperations.push({
255
+ forceMoveMarkers: false,
256
+ range: monaco.Range.lift(textEdit.range),
257
+ text: textEdit.text
258
+ });
259
+ }
260
+ }
261
+ if (!editOperations.length && eol === undefined) {
262
+ return;
263
+ }
264
+ const reference = await this.textModelService.createModelReference(uri);
265
+ try {
266
+ const document = reference.object;
267
+ const model = document.textEditorModel;
268
+ const editor = monaco_editor_1.MonacoEditor.findByDocument(this.editorManager, document)[0];
269
+ const cursorState = (_a = editor === null || editor === void 0 ? void 0 : editor.getControl().getSelections()) !== null && _a !== void 0 ? _a : [];
270
+ // start a fresh operation
271
+ model.pushStackElement();
272
+ if (editOperations.length) {
273
+ model.pushEditOperations(cursorState, editOperations, () => cursorState);
274
+ }
275
+ if (eol !== undefined) {
276
+ model.pushEOL(eol);
277
+ }
278
+ // push again to make this change an undoable operation
279
+ model.pushStackElement();
280
+ totalFiles += 1;
281
+ totalEdits += editOperations.length;
282
+ }
283
+ finally {
284
+ reference.dispose();
285
+ }
286
+ })());
287
+ }
288
+ await Promise.all(pending);
289
+ return { totalEdits, totalFiles };
290
+ }
291
+ async performFileEdits(edits) {
292
+ for (const edit of edits) {
293
+ const options = edit.options || {};
294
+ if (edit.newResource && edit.oldResource) {
295
+ // rename
296
+ if (options.overwrite === undefined && options.ignoreIfExists && await this.fileService.exists(new uri_1.default(edit.newResource))) {
297
+ return; // not overwriting, but ignoring, and the target file exists
298
+ }
299
+ await this.fileService.move(new uri_1.default(edit.oldResource), new uri_1.default(edit.newResource), { overwrite: options.overwrite });
300
+ }
301
+ else if (!edit.newResource && edit.oldResource) {
302
+ // delete file
303
+ if (await this.fileService.exists(new uri_1.default(edit.oldResource))) {
304
+ let useTrash = this.filePreferences['files.enableTrash'];
305
+ if (useTrash && !(this.fileService.hasCapability(new uri_1.default(edit.oldResource), 4096 /* Trash */))) {
306
+ useTrash = false; // not supported by provider
307
+ }
308
+ await this.fileService.delete(new uri_1.default(edit.oldResource), { useTrash, recursive: options.recursive });
309
+ }
310
+ else if (!options.ignoreIfNotExists) {
311
+ throw new Error(`${edit.oldResource} does not exist and can not be deleted`);
312
+ }
313
+ }
314
+ else if (edit.newResource && !edit.oldResource) {
315
+ // create file
316
+ if (options.overwrite === undefined && options.ignoreIfExists && await this.fileService.exists(new uri_1.default(edit.newResource))) {
317
+ return; // not overwriting, but ignoring, and the target file exists
318
+ }
319
+ await this.fileService.create(new uri_1.default(edit.newResource), undefined, { overwrite: options.overwrite });
320
+ }
321
+ }
322
+ }
323
+ async performSnippetEdits(edits) {
324
+ var _a;
325
+ const activeEditor = (_a = monaco_editor_1.MonacoEditor.getActive(this.editorManager)) === null || _a === void 0 ? void 0 : _a.getControl();
326
+ if (activeEditor) {
327
+ const snippetController = activeEditor.getContribution('snippetController2');
328
+ snippetController.apply(edits.map(edit => ({ range: monaco.Range.lift(edit.textEdit.range), template: edit.textEdit.text })));
329
+ }
330
+ }
331
+ transformSnippetStringToInsertText(resourceEdit) {
332
+ if (resourceEdit.textEdit.insertAsSnippet) {
333
+ return Object.assign(Object.assign({}, resourceEdit.textEdit), { insertAsSnippet: false, text: snippetParser_1.SnippetParser.asInsertText(resourceEdit.textEdit.text) });
334
+ }
335
+ else {
336
+ return resourceEdit.textEdit;
337
+ }
338
+ }
339
+ };
340
+ __decorate([
341
+ (0, inversify_1.inject)(file_service_1.FileService),
342
+ __metadata("design:type", file_service_1.FileService)
343
+ ], MonacoWorkspace.prototype, "fileService", void 0);
344
+ __decorate([
345
+ (0, inversify_1.inject)(browser_1.FileSystemPreferences),
346
+ __metadata("design:type", Object)
347
+ ], MonacoWorkspace.prototype, "filePreferences", void 0);
348
+ __decorate([
349
+ (0, inversify_1.inject)(monaco_text_model_service_1.MonacoTextModelService),
350
+ __metadata("design:type", monaco_text_model_service_1.MonacoTextModelService)
351
+ ], MonacoWorkspace.prototype, "textModelService", void 0);
352
+ __decorate([
353
+ (0, inversify_1.inject)(browser_2.EditorManager),
354
+ __metadata("design:type", browser_2.EditorManager)
355
+ ], MonacoWorkspace.prototype, "editorManager", void 0);
356
+ __decorate([
357
+ (0, inversify_1.inject)(browser_3.ProblemManager),
358
+ __metadata("design:type", browser_3.ProblemManager)
359
+ ], MonacoWorkspace.prototype, "problems", void 0);
360
+ __decorate([
361
+ (0, inversify_1.postConstruct)(),
362
+ __metadata("design:type", Function),
363
+ __metadata("design:paramtypes", []),
364
+ __metadata("design:returntype", void 0)
365
+ ], MonacoWorkspace.prototype, "init", null);
366
+ MonacoWorkspace = __decorate([
367
+ (0, inversify_1.injectable)()
368
+ ], MonacoWorkspace);
369
+ exports.MonacoWorkspace = MonacoWorkspace;
370
370
  //# sourceMappingURL=monaco-workspace.js.map