@codingame/monaco-vscode-markers-service-override 38.0.2 → 38.0.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.
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@codingame/monaco-vscode-markers-service-override",
|
|
3
|
-
"version": "38.0.
|
|
3
|
+
"version": "38.0.3",
|
|
4
4
|
"private": false,
|
|
5
5
|
"description": "VSCode public API plugged on the monaco editor - markers service-override",
|
|
6
6
|
"keywords": [],
|
|
@@ -15,7 +15,7 @@
|
|
|
15
15
|
},
|
|
16
16
|
"type": "module",
|
|
17
17
|
"dependencies": {
|
|
18
|
-
"@codingame/monaco-vscode-api": "38.0.
|
|
18
|
+
"@codingame/monaco-vscode-api": "38.0.3"
|
|
19
19
|
},
|
|
20
20
|
"main": "index.js",
|
|
21
21
|
"module": "index.js",
|
|
@@ -377,7 +377,7 @@ let MarkersTable = class MarkersTable extends Disposable {
|
|
|
377
377
|
return this.table.getHTMLElement();
|
|
378
378
|
}
|
|
379
379
|
getRelativeTop(marker) {
|
|
380
|
-
return marker ? this.table.getRelativeTop(this.table.indexOf(marker)) : null;
|
|
380
|
+
return marker ? this.table.getRelativeTop(( this.table.indexOf(marker))) : null;
|
|
381
381
|
}
|
|
382
382
|
getSelection() {
|
|
383
383
|
const selection = this.table.getSelection();
|
|
@@ -451,7 +451,7 @@ let MarkersTable = class MarkersTable extends Disposable {
|
|
|
451
451
|
}
|
|
452
452
|
revealMarkers(activeResource, focus, lastSelectedRelativeTop) {
|
|
453
453
|
if (activeResource) {
|
|
454
|
-
const activeResourceIndex = this.resourceMarkers.indexOf(activeResource);
|
|
454
|
+
const activeResourceIndex = ( this.resourceMarkers.indexOf(activeResource));
|
|
455
455
|
if (activeResourceIndex !== -1) {
|
|
456
456
|
if (this.hasSelectedMarkerFor(activeResource)) {
|
|
457
457
|
const tableSelection = this.table.getSelection();
|
|
@@ -497,7 +497,7 @@ let MarkersTable = class MarkersTable extends Disposable {
|
|
|
497
497
|
}
|
|
498
498
|
update(resourceMarkers) {
|
|
499
499
|
for (const resourceMarker of resourceMarkers) {
|
|
500
|
-
const index = this.resourceMarkers.indexOf(resourceMarker);
|
|
500
|
+
const index = ( this.resourceMarkers.indexOf(resourceMarker));
|
|
501
501
|
this.resourceMarkers.splice(index, 1, resourceMarker);
|
|
502
502
|
}
|
|
503
503
|
this.reset(this.resourceMarkers);
|