@codingame/monaco-vscode-workbench-service-override 5.0.1 → 5.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +8 -8
- package/tools/views.js +8 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@codingame/monaco-vscode-workbench-service-override",
|
|
3
|
-
"version": "5.0
|
|
3
|
+
"version": "5.1.0",
|
|
4
4
|
"keywords": [],
|
|
5
5
|
"author": {
|
|
6
6
|
"name": "CodinGame",
|
|
@@ -26,12 +26,12 @@
|
|
|
26
26
|
}
|
|
27
27
|
},
|
|
28
28
|
"dependencies": {
|
|
29
|
-
"vscode": "npm:@codingame/monaco-vscode-api@5.0
|
|
30
|
-
"@codingame/monaco-vscode-keybindings-service-override": "5.0
|
|
31
|
-
"@codingame/monaco-vscode-quickaccess-service-override": "5.0
|
|
32
|
-
"@codingame/monaco-vscode-view-title-bar-service-override": "5.0
|
|
33
|
-
"@codingame/monaco-vscode-view-status-bar-service-override": "5.0
|
|
34
|
-
"@codingame/monaco-vscode-view-banner-service-override": "5.0
|
|
35
|
-
"@codingame/monaco-vscode-view-common-service-override": "5.0
|
|
29
|
+
"vscode": "npm:@codingame/monaco-vscode-api@5.1.0",
|
|
30
|
+
"@codingame/monaco-vscode-keybindings-service-override": "5.1.0",
|
|
31
|
+
"@codingame/monaco-vscode-quickaccess-service-override": "5.1.0",
|
|
32
|
+
"@codingame/monaco-vscode-view-title-bar-service-override": "5.1.0",
|
|
33
|
+
"@codingame/monaco-vscode-view-status-bar-service-override": "5.1.0",
|
|
34
|
+
"@codingame/monaco-vscode-view-banner-service-override": "5.1.0",
|
|
35
|
+
"@codingame/monaco-vscode-view-common-service-override": "5.1.0"
|
|
36
36
|
}
|
|
37
37
|
}
|
package/tools/views.js
CHANGED
|
@@ -148,6 +148,14 @@ class SimpleEditorInput extends EditorInput {
|
|
|
148
148
|
this.dirty = dirty;
|
|
149
149
|
this._onDidChangeDirty.fire();
|
|
150
150
|
}
|
|
151
|
+
toUntyped() {
|
|
152
|
+
if (this.resource == null) {
|
|
153
|
+
return undefined;
|
|
154
|
+
}
|
|
155
|
+
return {
|
|
156
|
+
resource: this.resource
|
|
157
|
+
};
|
|
158
|
+
}
|
|
151
159
|
}
|
|
152
160
|
function registerEditorPane(typeId, name, ctor, inputCtors) {
|
|
153
161
|
return ( Registry.as(EditorExtensions.EditorPane)).registerEditorPane(EditorPaneDescriptor.create(ctor, typeId, name), ( inputCtors.map(ctor => new SyncDescriptor(ctor))));
|