Fire onSelectionChange when Terminal.select is called

Fixes #3804
This commit is contained in:
Daniel Imms
2022-05-13 09:42:39 -07:00
parent 3abbaa9ba9
commit 5d98304249
+1
View File
@@ -771,6 +771,7 @@ export class SelectionService extends Disposable implements ISelectionService {
this._model.selectionStart = [col, row];
this._model.selectionStartLength = length;
this.refresh();
this._fireEventIfSelectionChanged();
}
public rightClickSelect(ev: MouseEvent): void {