@codingame/monaco-vscode-views-service-override 5.0.1 → 5.1.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +5 -5
- package/tools/editor.js +3 -3
- package/tools/views.js +8 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@codingame/monaco-vscode-views-service-override",
|
|
3
|
-
"version": "5.
|
|
3
|
+
"version": "5.1.1",
|
|
4
4
|
"keywords": [],
|
|
5
5
|
"author": {
|
|
6
6
|
"name": "CodinGame",
|
|
@@ -26,9 +26,9 @@
|
|
|
26
26
|
}
|
|
27
27
|
},
|
|
28
28
|
"dependencies": {
|
|
29
|
-
"vscode": "npm:@codingame/monaco-vscode-api@5.
|
|
30
|
-
"@codingame/monaco-vscode-quickaccess-service-override": "5.
|
|
31
|
-
"@codingame/monaco-vscode-keybindings-service-override": "5.
|
|
32
|
-
"@codingame/monaco-vscode-view-common-service-override": "5.
|
|
29
|
+
"vscode": "npm:@codingame/monaco-vscode-api@5.1.1",
|
|
30
|
+
"@codingame/monaco-vscode-quickaccess-service-override": "5.1.1",
|
|
31
|
+
"@codingame/monaco-vscode-keybindings-service-override": "5.1.1",
|
|
32
|
+
"@codingame/monaco-vscode-view-common-service-override": "5.1.1"
|
|
33
33
|
}
|
|
34
34
|
}
|
package/tools/editor.js
CHANGED
|
@@ -500,7 +500,7 @@ let MonacoDelegateEditorGroupsService = class MonacoDelegateEditorGroupsService
|
|
|
500
500
|
this._onDidChangeActiveGroup.fire(this.activeGroup);
|
|
501
501
|
}
|
|
502
502
|
};
|
|
503
|
-
const
|
|
503
|
+
const removeActiveGroup = (editor) => {
|
|
504
504
|
if (!emptyDelegate && this.activeGroupOverride === this.additionalGroups.find(group => group.editor === editor)) {
|
|
505
505
|
updateActiveGroup(undefined);
|
|
506
506
|
}
|
|
@@ -515,11 +515,11 @@ let MonacoDelegateEditorGroupsService = class MonacoDelegateEditorGroupsService
|
|
|
515
515
|
window.clearTimeout(timeout);
|
|
516
516
|
timeout = window.setTimeout(() => {
|
|
517
517
|
timeout = undefined;
|
|
518
|
-
|
|
518
|
+
removeActiveGroup(editor);
|
|
519
519
|
}, 100);
|
|
520
520
|
};
|
|
521
521
|
editor.onDidDispose(() => {
|
|
522
|
-
|
|
522
|
+
removeActiveGroup(editor);
|
|
523
523
|
});
|
|
524
524
|
editor.onDidFocusEditorText(onEditorFocused);
|
|
525
525
|
editor.onDidFocusEditorWidget(onEditorFocused);
|
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))));
|