eiac/xterm.js
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity

_getMutableOptions -> _getChangeOptions

Browse Source
This commit is contained in:
Daniel Imms
2024-07-10 12:47:47 -07:00
parent 1096b7f17f
commit 59a8f0cf8e
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/browser/Viewport.ts
+3 -3
View File
@@ -55,13 +55,13 @@ export class Viewport extends Disposable {
horizontal: ScrollbarVisibility.Hidden, horizontal: ScrollbarVisibility.Hidden,
useShadows: false, useShadows: false,
mouseWheelSmoothScroll: true, mouseWheelSmoothScroll: true,
...this._getMutableOptions() ...this._getChangeOptions()
}, scrollable)); }, scrollable));
this.register(this._optionsService.onMultipleOptionChange([ this.register(this._optionsService.onMultipleOptionChange([
'scrollSensitivity', 'scrollSensitivity',
'fastScrollSensitivity', 'fastScrollSensitivity',
'overviewRulerWidth' 'overviewRulerWidth'
], () => this._scrollableElement.updateOptions(this._getMutableOptions()))); ], () => this._scrollableElement.updateOptions(this._getChangeOptions())));
this._scrollableElement.setScrollDimensions({ height: 0, scrollHeight: 0 }); this._scrollableElement.setScrollDimensions({ height: 0, scrollHeight: 0 });
this.register(runAndSubscribe(themeService.onChangeColors, () => { this.register(runAndSubscribe(themeService.onChangeColors, () => {
@@ -111,7 +111,7 @@ export class Viewport extends Disposable {
}); });
} }
private _getMutableOptions(): ScrollableElementChangeOptions { private _getChangeOptions(): ScrollableElementChangeOptions {
return { return {
mouseWheelScrollSensitivity: this._optionsService.rawOptions.scrollSensitivity, mouseWheelScrollSensitivity: this._optionsService.rawOptions.scrollSensitivity,
fastScrollSensitivity: this._optionsService.rawOptions.fastScrollSensitivity, fastScrollSensitivity: this._optionsService.rawOptions.fastScrollSensitivity,