Ensure viewport is correctly reset on term.reset

Part of #4603
2023-08-02 11:18:00 -07:00
parent bb237f109a
commit acf53f69e0
4 changed files with 19 additions and 3 deletions
@@ -161,13 +161,14 @@ export interface IPartialColorSet {
 export interface IViewport extends IDisposable {
  scrollBarWidth: number;
  readonly onRequestScrollLines: IEvent<{ amount: number, suppressScrollEvent: boolean }>;
-  syncScrollArea(immediate?: boolean): void;
+  syncScrollArea(immediate?: boolean, force?: boolean): void;
  getLinesScrolled(ev: WheelEvent): number;
  getBufferElements(startLine: number, endLine?: number): { bufferElements: HTMLElement[], cursorElement?: HTMLElement };
  handleWheel(ev: WheelEvent): boolean;
  handleTouchStart(ev: TouchEvent): void;
  handleTouchMove(ev: TouchEvent): boolean;
  scrollLines(disp: number): void;  // todo api name?
+  reset(): void;
 }

 export interface ILinkifierEvent {