Merging upstream version 20230618.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 0 insertions, 310 deletions

diff --git a/extensions/vertical-workspaces/settings.js b/extensions/vertical-workspaces/settings.js
deleted file mode 100644
index feb285e..0000000
--- a/extensions/vertical-workspaces/settings.js
+++ /dev/null
@@ -1,310 +0,0 @@
-/**
- * Vertical Workspaces
- * settings.js
- *
- * @author     GdH <G-dH@github.com>
- * @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
-        }
-    }
-
-};