Remove set/getOption deprecated APIs

This commit is contained in:
Daniel Imms
2022-07-27 09:04:07 -07:00
parent b2aa100c58
commit 71911b501b
12 changed files with 29 additions and 269 deletions
+1 -1
View File
@@ -694,7 +694,7 @@ export class SelectionService extends Disposable implements ISelectionService {
this._removeMouseDownListeners();
if (this.selectionText.length <= 1 && timeElapsed < ALT_CLICK_MOVE_CURSOR_TIME && event.altKey && this._optionsService.getOption('altClickMovesCursor')) {
if (this.selectionText.length <= 1 && timeElapsed < ALT_CLICK_MOVE_CURSOR_TIME && event.altKey && this._optionsService.rawOptions.altClickMovesCursor) {
if (this._bufferService.buffer.ybase === this._bufferService.buffer.ydisp) {
const coordinates = this._mouseService.getCoords(
event,