Merge branch 'master' into remove_obsolete_mouseencodings

This commit is contained in:
jerch
2019-10-25 13:20:20 +02:00
committed by GitHub
+1
View File
@@ -29,6 +29,7 @@ export class Marker extends Disposable implements IMarker {
return;
}
this.isDisposed = true;
this.line = -1;
// Emit before super.dispose such that dispose listeners get a change to react
this._onDispose.fire();
}