mirror of
https://github.com/wavetermdev/xterm.js.git
synced 2026-08-05 13:43:48 -07:00
Merge pull request #733 from Tyriar/732_drop_selection_on_alt
Drop selection when the active buffer changes
This commit is contained in:
@@ -178,6 +178,7 @@ export class SelectionManager extends EventEmitter {
|
||||
*/
|
||||
public setBuffer(buffer: CircularList<any>): void {
|
||||
this._buffer = buffer;
|
||||
this.clearSelection();
|
||||
}
|
||||
|
||||
/**
|
||||
|
||||
Reference in New Issue
Block a user