diff options
Diffstat (limited to 'node_modules/xterm/src/browser/services')
-rw-r--r-- | node_modules/xterm/src/browser/services/RenderService.ts | 3 | ||||
-rw-r--r-- | node_modules/xterm/src/browser/services/Services.ts | 10 |
2 files changed, 12 insertions, 1 deletions
diff --git a/node_modules/xterm/src/browser/services/RenderService.ts b/node_modules/xterm/src/browser/services/RenderService.ts index b8283e0..da458ab 100644 --- a/node_modules/xterm/src/browser/services/RenderService.ts +++ b/node_modules/xterm/src/browser/services/RenderService.ts @@ -65,7 +65,8 @@ export class RenderService extends Disposable implements IRenderService { this._screenDprMonitor.setListener(() => this.onDevicePixelRatioChange()); this.register(this._screenDprMonitor); - this.register(bufferService.onResize(e => this._fullRefresh())); + this.register(bufferService.onResize(() => this._fullRefresh())); + this.register(bufferService.buffers.onBufferActivate(() => this._renderer?.clear())); this.register(optionsService.onOptionChange(() => this._renderer.onOptionsChanged())); this.register(this._charSizeService.onCharSizeChange(() => this.onCharSizeChanged())); diff --git a/node_modules/xterm/src/browser/services/Services.ts b/node_modules/xterm/src/browser/services/Services.ts index 4928fa2..7faf3f0 100644 --- a/node_modules/xterm/src/browser/services/Services.ts +++ b/node_modules/xterm/src/browser/services/Services.ts @@ -9,6 +9,8 @@ import { IColorSet } from 'browser/Types'; import { ISelectionRedrawRequestEvent as ISelectionRequestRedrawEvent, ISelectionRequestScrollLinesEvent } from 'browser/selection/Types'; import { createDecorator } from 'common/services/ServiceRegistry'; import { IDisposable } from 'common/Types'; +import { IDecorationOptions, IDecoration } from 'xterm'; +import { IBufferService } from 'common/services/Services'; export const ICharSizeService = createDecorator<ICharSizeService>('CharSizeService'); export interface ICharSizeService { @@ -113,3 +115,11 @@ export interface ICharacterJoinerService { deregister(joinerId: number): boolean; getJoinedCharacters(row: number): [number, number][]; } + + +export const IDecorationService = createDecorator<IDecorationService>('DecorationService'); +export interface IDecorationService extends IDisposable { + registerDecoration(decorationOptions: IDecorationOptions): IDecoration | undefined; + refresh(): void; + attachToDom(screenElement: HTMLElement, renderService: IRenderService, bufferService: IBufferService): void; +} |