marker fixes

src/common/Types.d.ts

@@ -183,6 +183,7 @@ export interface IMarker extends IDisposable {
   readonly id: number;
   readonly isDisposed: boolean;
   readonly line: number;
+  onDispose: IEvent<void>;
 }
 export interface IModes {
   insertMode: boolean;

src/common/buffer/Marker.ts

@@ -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();
   }
 }

typings/xterm.d.ts

@@ -382,6 +382,13 @@ declare module 'xterm' {
      * -1 if the marker has been disposed.
      */
     readonly line: number;
+
+    /**
+     * Event listener to get notified when the marker gets disposed. Automatic disposal
+     * might happen for a marker, that got invalidated by scrolling out or removal of
+     * a line from the buffer.
+     */
+    onDispose: IEvent<void>;
   }
 
   /**