From 3713a4d3bf8ae2df7d02e63b5b827353e5121d19 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 5 Feb 2023 09:57:47 +0100 Subject: Merging upstream version 20230205. Signed-off-by: Daniel Baumann --- extensions/vertical-workspaces/settings.js | 310 +++++++++++++++++++++++++++++ 1 file changed, 310 insertions(+) create mode 100644 extensions/vertical-workspaces/settings.js (limited to 'extensions/vertical-workspaces/settings.js') diff --git a/extensions/vertical-workspaces/settings.js b/extensions/vertical-workspaces/settings.js new file mode 100644 index 0000000..feb285e --- /dev/null +++ b/extensions/vertical-workspaces/settings.js @@ -0,0 +1,310 @@ +/** + * 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 + } + } + +}; -- cgit v1.2.3