mirror of
https://github.com/wavetermdev/xterm.js.git
synced 2026-08-05 13:43:48 -07:00
more cleanup
This commit is contained in:
@@ -109,5 +109,6 @@ export class BufferDecorationRenderer extends Disposable {
|
||||
private _removeDecoration(decoration: IInternalDecoration): void {
|
||||
this._decorationElements.get(decoration)?.remove();
|
||||
this._decorationElements.delete(decoration);
|
||||
decoration.dispose();
|
||||
}
|
||||
}
|
||||
|
||||
Vendored
+2
-5
@@ -439,11 +439,8 @@ declare module 'xterm' {
|
||||
element: HTMLElement | undefined;
|
||||
}
|
||||
|
||||
/**
|
||||
* Options provided when registering a decoration
|
||||
* containing a @param marker, @param anchor,
|
||||
* @param x offset from the anchor, @param width in cells
|
||||
* and @param height in cells.
|
||||
/*
|
||||
* Options that define the presentation of the decoration.
|
||||
*/
|
||||
export interface IDecorationOptions {
|
||||
/**
|
||||
|
||||
Reference in New Issue
Block a user