summaryrefslogtreecommitdiffstats
path: root/extensions/vertical-workspaces/settings.js
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--extensions/vertical-workspaces/settings.js310
1 files changed, 310 insertions, 0 deletions
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 <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
+ }
+ }
+
+};