add super.dispose, add oDispose to API

2020-09-27 15:59:11 +02:00
parent b0768f18ca
commit f5a4eed27c
3 changed files with 9 additions and 0 deletions
@@ -32,5 +32,6 @@ export class Marker extends Disposable implements IMarker {
    this.line = -1;
    // Emit before super.dispose such that dispose listeners get a change to react
    this._onDispose.fire();
+    super.dispose();
  }
 }