Remove deprecated add* APIs

Fixes #2652
2022-07-27 08:35:40 -07:00
parent 140073675c
commit 8cfa7a0ee2
4 changed files with 13 additions and 27 deletions
@@ -160,7 +160,6 @@ export class Terminal implements ITerminalApi {
    this._core.deregisterCharacterJoiner(joinerId);
  }
  public registerMarker(cursorYOffset: number = 0): IMarker | undefined {
-    this._checkProposedApi();
    this._verifyIntegers(cursorYOffset);
    return this._core.addMarker(cursorYOffset);
  }
@@ -169,9 +168,6 @@ export class Terminal implements ITerminalApi {
    this._verifyPositiveIntegers(decorationOptions.x ?? 0, decorationOptions.width ?? 0, decorationOptions.height ?? 0);
    return this._core.registerDecoration(decorationOptions);
  }
-  public addMarker(cursorYOffset: number): IMarker | undefined {
-    return this.registerMarker(cursorYOffset);
-  }
  public hasSelection(): boolean {
    return this._core.hasSelection();
  }