diff options
Diffstat (limited to 'ext/js/display/display.js')
-rw-r--r-- | ext/js/display/display.js | 25 |
1 files changed, 3 insertions, 22 deletions
diff --git a/ext/js/display/display.js b/ext/js/display/display.js index 82d84979..e9fdfd9f 100644 --- a/ext/js/display/display.js +++ b/ext/js/display/display.js @@ -26,6 +26,7 @@ import {ExtensionError} from '../core/extension-error.js'; import {log} from '../core/log.js'; import {toError} from '../core/to-error.js'; import {clone, deepEqual, promiseTimeout} from '../core/utilities.js'; +import {setProfile} from '../data/profiles-util.js'; import {PopupMenu} from '../dom/popup-menu.js'; import {querySelectorNotNull} from '../dom/query-selector.js'; import {ScrollElement} from '../dom/scroll-element.js'; @@ -200,8 +201,8 @@ export class Display extends EventDispatcher { ['firstEntry', () => { this._focusEntry(0, 0, true); }], ['historyBackward', () => { this._sourceTermView(); }], ['historyForward', () => { this._nextTermView(); }], - ['profilePrevious', async () => { await this._setProfile(-1); }], - ['profileNext', async () => { await this._setProfile(1); }], + ['profilePrevious', async () => { await setProfile(-1, this._application); }], + ['profileNext', async () => { await setProfile(1, this._application); }], ['copyHostSelection', () => this._copyHostSelection()], ['nextEntryDifferentDictionary', () => { this._focusEntryWithDifferentDictionary(1, true); }], ['previousEntryDifferentDictionary', () => { this._focusEntryWithDifferentDictionary(-1, true); }], @@ -2029,26 +2030,6 @@ export class Display extends EventDispatcher { this._focusEntry(this._index + count * sign, 0, true); } - /** - * @param {number} direction - */ - async _setProfile(direction) { - const optionsFull = await this.application.api.optionsGetFull(); - - const profileCount = optionsFull.profiles.length; - const newProfile = (optionsFull.profileCurrent + direction + profileCount) % profileCount; - - /** @type {import('settings-modifications').ScopedModificationSet} */ - const modification = { - action: 'set', - path: 'profileCurrent', - value: newProfile, - scope: 'global', - optionsContext: null, - }; - await this.application.api.modifySettings([modification], 'search'); - } - /** */ _closeAllPopupMenus() { for (const popupMenu of PopupMenu.openMenus) { |