/** * Vertical Workspaces * settings.js * * @author GdH * @copyright 2022 - 2023 * @license GPL-3.0 */ 'use strict'; const { GLib } = imports.gi; const ExtensionUtils = imports.misc.extensionUtils; const Me = ExtensionUtils.getCurrentExtension(); const Config = imports.misc.config; var shellVersion = parseFloat(Config.PACKAGE_VERSION); const Gettext = imports.gettext.domain(Me.metadata['gettext-domain']); var _ = Gettext.gettext; const _schema = Me.metadata['settings-schema']; // common instance of Options accessible from all modules var opt; var Options = class Options { constructor() { this._gsettings = ExtensionUtils.getSettings(_schema); this._connectionIds = []; this._writeTimeoutId = 0; this._gsettings.delay(); this.connect('changed', () => { if (this._writeTimeoutId) GLib.Source.remove(this._writeTimeoutId); this._writeTimeoutId = GLib.timeout_add( GLib.PRIORITY_DEFAULT, 100, () => { this._gsettings.apply(); this._updateCachedSettings(); this._writeTimeoutId = 0; return GLib.SOURCE_REMOVE; } ); }); this.options = { workspaceThumbnailsPosition: ['int', 'ws-thumbnails-position'], wsMaxSpacing: ['int', 'ws-max-spacing'], wsPreviewScale: ['int', 'ws-preview-scale'], WsThumbnailsFull: ['bool', 'ws-thumbnails-full'], secondaryWsThumbnailsPosition: ['int', 'secondary-ws-thumbnails-position'], dashPosition: ['int', 'dash-position'], dashPositionAdjust: ['int', 'dash-position-adjust'], wsTmbPositionAdjust: ['int', 'wst-position-adjust'], showWsTmbLabels: ['int', 'show-wst-labels'], showWsTmbLabelsOnHover: ['boolean', 'show-wst-labels-on-hover'], SecWsTmbPositionAdjust: ['int', 'sec-wst-position-adjust'], dashMaxIconSize: ['int', 'dash-max-icon-size'], dashShowWindowsIcon: ['int', 'dash-show-windows-icon'], dashShowRecentFilesIcon: ['int', 'dash-show-recent-files-icon'], centerDashToWs: ['boolean', 'center-dash-to-ws'], showAppsIconPosition: ['int', 'show-app-icon-position'], wsThumbnailScale: ['int', 'ws-thumbnail-scale'], showSearchEntry: ['boolean', 'show-search-entry'], centerSearch: ['boolean', 'center-search'], centerAppGrid: ['boolean', 'center-app-grid'], dashBgOpacity: ['int', 'dash-bg-opacity'], dashBgRadius: ['int', 'dash-bg-radius'], enablePageShortcuts: ['boolean', 'enable-page-shortcuts'], showWsSwitcherBg: ['boolean', 'show-ws-switcher-bg'], showWsPreviewBg: ['boolean', 'show-ws-preview-bg'], showBgInOverview: ['boolean', 'show-bg-in-overview'], overviewBgBlurSigma: ['int', 'overview-bg-blur-sigma'], appGridBgBlurSigma: ['int', 'app-grid-bg-blur-sigma'], smoothBlurTransitions: ['boolean', 'smooth-blur-transitions'], appGridAnimation: ['int', 'app-grid-animation'], searchViewAnimation: ['int', 'search-view-animation'], workspaceAnimation: ['int', 'workspace-animation'], animationSpeedFactor: ['int', 'animation-speed-factor'], fixUbuntuDock: ['boolean', 'fix-ubuntu-dock'], winPreviewIconSize: ['int', 'win-preview-icon-size'], alwaysShowWinTitles: ['int', 'always-show-win-titles'], startupState: ['int', 'startup-state'], overviewMode: ['int', 'overview-mode'], workspaceSwitcherAnimation: ['int', 'workspace-switcher-animation'], searchIconSize: ['int', 'search-icon-size'], searchViewScale: ['int', 'search-width-scale'], appGridAllowCustom: ['int', 'app-grid-allow-custom'], appGridIconSize: ['int', 'app-grid-icon-size'], appGridColumns: ['int', 'app-grid-columns'], appGridRows: ['int', 'app-grid-rows'], appGridFolderIconSize: ['int', 'app-grid-folder-icon-size'], appGridFolderColumns: ['int', 'app-grid-folder-columns'], appGridFolderRows: ['int', 'app-grid-folder-rows'], appGridIncludeDash: ['int', 'app-grid-include-dash'], appGridIncompletePages: ['boolean', 'app-grid-incomplete-pages'], appGridOrder: ['int', 'app-grid-order'], searchWindowsEnable: ['boolean', 'search-windows-enable'], searchRecentFilesEnable: ['boolean', 'search-recent-files-enable'], searchFuzzy: ['boolean', 'search-fuzzy'], searchMaxResultsRows: ['int', 'search-max-results-rows'], dashShowWindowsBeforeActivation: ['int', 'dash-show-windows-before-activation'], panelVisibility: ['int', 'panel-visibility'], panelPosition: ['int', 'panel-position'], } this.cachedOptions = {}; this.shellVersion = shellVersion; } connect(name, callback) { const id = this._gsettings.connect(name, callback); this._connectionIds.push(id); return id; } destroy() { this._connectionIds.forEach(id => this._gsettings.disconnect(id)); if (this._writeTimeoutId) { GLib.source_remove(this._writeTimeoutId); this._writeTimeoutId = 0; } } _updateCachedSettings(settings, key) { Object.keys(this.options).forEach(v => this.get(v, true)); } get(option, updateCache = false) { if (!this.options[option]) { log(`[${Me.metadata.name}] Error: Option ${option} is undefined.`); return; } if (updateCache || this.cachedOptions[option] === undefined) { const [format, key, settings] = this.options[option]; let gSettings; if (settings !== undefined) { gSettings = settings(); } else { gSettings = this._gsettings; } this.cachedOptions[option] = gSettings.get_value(key).deep_unpack(); } return this.cachedOptions[option]; } set(option, value) { const [format, key, settings] = this.options[option]; let gSettings = this._gsettings; if (settings !== undefined) { gSettings = settings(); } switch (format) { case 'boolean': gSettings.set_boolean(key, value); break; case 'int': gSettings.set_int(key, value); break; case 'string': gSettings.set_string(key, value); break; case 'strv': gSettings.set_strv(key, value); break; } } getDefault(option) { const [format, key, settings] = this.options[option]; let gSettings = this._gsettings; if (settings !== undefined) { gSettings = settings(); } return gSettings.get_default_value(key).deep_unpack(); } _updateSettings(settings, key) { this.DASH_POSITION = this.get('dashPosition', true); this.DASH_TOP = this.DASH_POSITION === 0; this.DASH_RIGHT = this.DASH_POSITION === 1; this.DASH_BOTTOM = this.DASH_POSITION === 2; this.DASH_LEFT = this.DASH_POSITION === 3; this.DASH_VERTICAL = this.DASH_LEFT || this.DASH_RIGHT; this.DASH_VISIBLE = this.DASH_POSITION !== 4; // 4 - disable this.DASH_FOLLOW_RECENT_WIN = false; this.DASH_POSITION_ADJUSTMENT = this.get('dashPositionAdjust', true); this.DASH_POSITION_ADJUSTMENT = this.DASH_POSITION_ADJUSTMENT * -1 / 100; // range 1 to -1 this.CENTER_DASH_WS = this.get('centerDashToWs', true); this.MAX_ICON_SIZE = 64; // updates from main module this.SHOW_WINDOWS_ICON = this.get('dashShowWindowsIcon', true); this.SHOW_RECENT_FILES_ICON = this.get('dashShowRecentFilesIcon', true); this.WS_TMB_POSITION = this.get('workspaceThumbnailsPosition', true); this.ORIENTATION = this.WS_TMB_POSITION > 4 ? 0 : 1; this.WORKSPACE_MAX_SPACING = this.get('wsMaxSpacing', true); //ORIENTATION || DASH_LEFT || DASH_RIGHT ? 350 : 80; this.SHOW_WS_TMB = ![4, 9].includes(this.WS_TMB_POSITION); // 4, 9 - disable this.WS_TMB_FULL = this.get('WsThumbnailsFull', true); // translate ws tmb position to 0 top, 1 right, 2 bottom, 3 left //0L 1R, 2LF, 3RF, 4DV, 5T, 6B, 7TF, 8BF, 9DH this.WS_TMB_POSITION = [3, 1, 3, 1, 4, 0, 2, 0, 2, 8][this.WS_TMB_POSITION]; this.WS_TMB_TOP = this.WS_TMB_POSITION === 0; this.WS_TMB_RIGHT = this.WS_TMB_POSITION === 1; this.WS_TMB_BOTTOM = this.WS_TMB_POSITION === 2; this.WS_TMB_LEFT = this.WS_TMB_POSITION === 3; this.WS_TMB_POSITION_ADJUSTMENT = this.get('wsTmbPositionAdjust', true) * -1 / 100; // range 1 to -1 this.SEC_WS_TMB_POSITION = this.get('secondaryWsThumbnailsPosition', true); this.SEC_WS_TMB_TOP = (this.SEC_WS_TMB_POSITION === 0 && !this.ORIENTATION) || (this.SEC_WS_TMB_POSITION === 2 && this.WS_TMB_TOP); this.SEC_WS_TMB_RIGHT = (this.SEC_WS_TMB_POSITION === 1 && this.ORIENTATION) || (this.SEC_WS_TMB_POSITION === 2 && this.WS_TMB_RIGHT); this.SEC_WS_TMB_BOTTOM = (this.SEC_WS_TMB_POSITION === 1 && !this.ORIENTATION) || (this.SEC_WS_TMB_POSITION === 2 && this.WS_TMB_BOTTOM); this.SEC_WS_TMB_LEFT = (this.SEC_WS_TMB_POSITION === 0 && this.ORIENTATION) || (this.SEC_WS_TMB_POSITION === 2 && this.WS_TMB_LEFT); this.SEC_WS_TMB_POSITION_ADJUSTMENT = this.get('SecWsTmbPositionAdjust', true) * -1 / 100; // range 1 to -1 this.SHOW_WST_LABELS = this.get('showWsTmbLabels', true); this.SHOW_WST_LABELS_ON_HOVER = this.get('showWsTmbLabelsOnHover', true); this.MAX_THUMBNAIL_SCALE = this.get('wsThumbnailScale', true) / 100; this.WS_PREVIEW_SCALE = this.get('wsPreviewScale', true) / 100; // calculate number of possibly visible neighbor previews according to ws scale this.NUMBER_OF_VISIBLE_NEIGHBORS = Math.round(1 + (100 - this.WS_PREVIEW_SCALE) / 40); this.SHOW_WS_TMB_BG = this.get('showWsSwitcherBg', true) && this.SHOW_WS_TMB; this.SHOW_WS_PREVIEW_BG = this.get('showWsPreviewBg', true); this.CENTER_APP_GRID = this.get('centerAppGrid', true); this.SHOW_SEARCH_ENTRY = this.get('showSearchEntry', true); this.CENTER_SEARCH_VIEW = this.get('centerSearch', true); this.APP_GRID_ANIMATION = this.get('appGridAnimation', true); if (this.APP_GRID_ANIMATION === 4) { this.APP_GRID_ANIMATION = this._getAnimationDirection(); } this.SEARCH_VIEW_ANIMATION = this.get('searchViewAnimation', true); if (this.SEARCH_VIEW_ANIMATION === 4) { this.SEARCH_VIEW_ANIMATION = 3; } this.WS_ANIMATION = this.get('workspaceAnimation', true); this.WIN_PREVIEW_ICON_SIZE = [64, 48, 32, 22, 8][this.get('winPreviewIconSize', true)]; this.ALWAYS_SHOW_WIN_TITLES = this.get('alwaysShowWinTitles', true); this.STARTUP_STATE = this.get('startupState', true); this.SHOW_BG_IN_OVERVIEW = this.get('showBgInOverview', true); this.OVERVIEW_BG_BLUR_SIGMA = this.get('overviewBgBlurSigma', true); this.APP_GRID_BG_BLUR_SIGMA = this.get('appGridBgBlurSigma', true); this.SMOOTH_BLUR_TRANSITIONS = this.get('smoothBlurTransitions', true); this.OVERVIEW_MODE = this.get('overviewMode', true); this.OVERVIEW_MODE2 = this.OVERVIEW_MODE === 2; this.WORKSPACE_MODE = this.OVERVIEW_MODE ? 0 : 1; //Workspace.WINDOW_PREVIEW_MAXIMUM_SCALE = 0.95; this.STATIC_WS_SWITCHER_BG = this.get('workspaceSwitcherAnimation', true); this.ANIMATION_TIME_FACTOR = this.get('animationSpeedFactor', true) / 100; //St.Settings.get().slow_down_factor = this.ANIMATION_TIME_FACTOR; this.SEARCH_ICON_SIZE = this.get('searchIconSize', true); this.SEARCH_VIEW_SCALE = this.get('searchViewScale', true) / 100; this.SEARCH_MAX_ROWS = this.get('searchMaxResultsRows', true); //imports.ui.search.MAX_LIST_SEARCH_RESULTS_ROWS = this.SEARCH_MAX_ROWS; this.APP_GRID_ALLOW_INCOMPLETE_PAGES = false; this.APP_GRID_ALLOW_CUSTOM = this.get('appGridAllowCustom', true); this.APP_GRID_ICON_SIZE = this.get('appGridIconSize', true); this.APP_GRID_COLUMNS = this.get('appGridColumns', true); this.APP_GRID_ROWS = this.get('appGridRows', true); this.APP_GRID_ORDER = this.get('appGridOrder', true); this.APP_GRID_INCLUDE_DASH = this.get('appGridIncludeDash', true); this.APP_GRID_FOLDER_ICON_SIZE = this.get('appGridFolderIconSize', true); this.APP_GRID_FOLDER_COLUMNS = this.get('appGridFolderColumns', true); this.APP_GRID_FOLDER_ROWS = this.get('appGridFolderRows', true); this.DASH_SHOW_WINS_BEFORE = this.get('dashShowWindowsBeforeActivation', true); this.DASH_SHIFT_CLICK_MV = true; this.WINDOW_SEARCH_PROVIDER_ENABLED = this.get('searchWindowsEnable', true); this.RECENT_FILES_SEARCH_PROVIDER_ENABLED = this.get('searchRecentFilesEnable', true); this.PANEL_POSITION_TOP = this.get('panelPosition', true) === 0; this.PANEL_MODE = this.get('panelVisibility', true); this.START_Y_OFFSET = 0; // set from main module } _getAnimationDirection() { if (this.ORIENTATION) { return (this.WS_TMB_LEFT || !this.SHOW_WS_TMB) ? 1 : 2; // 1 right, 2 left } else { return (this.WS_TMB_TOP || !this.SHOW_WS_TMB) ? 3 : 5; // 3 bottom, 5 top } } };