From 291a94173c5ea022f75b4eee07e6e0c97a04ff7a Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 14 Apr 2024 08:06:59 +0200 Subject: Adding 45/vertical-workspaces version 37+20240412 [9b05a79]. Signed-off-by: Daniel Baumann --- extensions/45/vertical-workspaces/lib/settings.js | 30 +++++++++++------------ 1 file changed, 14 insertions(+), 16 deletions(-) (limited to 'extensions/45/vertical-workspaces/lib/settings.js') diff --git a/extensions/45/vertical-workspaces/lib/settings.js b/extensions/45/vertical-workspaces/lib/settings.js index d8bb99c..dcfc8f9 100644 --- a/extensions/45/vertical-workspaces/lib/settings.js +++ b/extensions/45/vertical-workspaces/lib/settings.js @@ -3,7 +3,7 @@ * settings.js * * @author GdH - * @copyright 2022 - 2023 + * @copyright 2022 - 2024 * @license GPL-3.0 */ @@ -52,9 +52,6 @@ export const Options = class Options { closeWsButtonMode: ['int', 'close-ws-button-mode'], 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'], - dashShowExtensionsIcon: ['int', 'dash-show-extensions-icon'], centerDashToWs: ['boolean', 'center-dash-to-ws'], showAppsIconPosition: ['int', 'show-app-icon-position'], wsThumbnailScale: ['int', 'ws-thumbnail-scale'], @@ -87,6 +84,7 @@ export const Options = class Options { startupState: ['int', 'startup-state'], overviewMode: ['int', 'overview-mode'], workspaceSwitcherAnimation: ['int', 'workspace-switcher-animation'], + wsSwitcherMode: ['int', 'ws-switcher-mode'], searchIconSize: ['int', 'search-icon-size'], searchViewScale: ['int', 'search-width-scale'], appGridIconSize: ['int', 'app-grid-icon-size'], @@ -136,8 +134,9 @@ export const Options = class Options { overlayKeySecondary: ['int', 'overlay-key-secondary'], overviewEscBehavior: ['int', 'overview-esc-behavior'], newWindowFocusFix: ['boolean', 'new-window-focus-fix'], + newWindowMonitorFix: ['boolean', 'new-window-monitor-fix'], appGridPerformance: ['boolean', 'app-grid-performance'], - windowThumbnailScale: ['int', 'window-thumbnail-scale'], + highlightingStyle: ['int', 'highlighting-style'], workspaceSwitcherPopupModule: ['boolean', 'workspace-switcher-popup-module'], workspaceAnimationModule: ['boolean', 'workspace-animation-module'], @@ -145,7 +144,6 @@ export const Options = class Options { windowManagerModule: ['boolean', 'window-manager-module'], windowPreviewModule: ['boolean', 'window-preview-module'], windowAttentionHandlerModule: ['boolean', 'win-attention-handler-module'], - windowThumbnailModule: ['boolean', 'window-thumbnail-module'], swipeTrackerModule: ['boolean', 'swipe-tracker-module'], searchControllerModule: ['boolean', 'search-controller-module'], searchModule: ['boolean', 'search-module'], @@ -157,9 +155,6 @@ export const Options = class Options { dashModule: ['boolean', 'dash-module'], appFavoritesModule: ['boolean', 'app-favorites-module'], appDisplayModule: ['boolean', 'app-display-module'], - windowSearchProviderModule: ['boolean', 'window-search-provider-module'], - recentFilesSearchProviderModule: ['boolean', 'recent-files-search-provider-module'], - extensionsSearchProviderModule: ['boolean', 'extensions-search-provider-module'], profileName1: ['string', 'profile-name-1'], profileName2: ['string', 'profile-name-2'], @@ -324,9 +319,6 @@ export const Options = class Options { this.CENTER_DASH_WS = this.get('centerDashToWs'); this.MAX_ICON_SIZE = this.get('dashMaxIconSize'); - this.SHOW_WINDOWS_ICON = this.get('dashShowWindowsIcon'); - this.SHOW_RECENT_FILES_ICON = this.get('dashShowRecentFilesIcon'); - this.SHOW_EXTENSIONS_ICON = this.get('dashShowExtensionsIcon'); this.WS_TMB_POSITION = this.get('workspaceThumbnailsPosition'); this.ORIENTATION = this.WS_TMB_POSITION > 4 ? 0 : 1; @@ -395,8 +387,6 @@ export const Options = class Options { if (this.SEARCH_VIEW_ANIMATION === 4) this.SEARCH_VIEW_ANIMATION = 3; - this.WS_ANIMATION = this.get('workspaceAnimation'); - this.WIN_PREVIEW_ICON_SIZE = [64, 48, 32, 22, 8][this.get('winPreviewIconSize')]; this.WIN_TITLES_POSITION = this.get('winTitlePosition'); this.ALWAYS_SHOW_WIN_TITLES = this.WIN_TITLES_POSITION === 1; @@ -421,6 +411,7 @@ export const Options = class Options { this.SEARCH_VIEW_SCALE = this.get('searchViewScale') / 100; this.SEARCH_MAX_ROWS = this.get('searchMaxResultsRows'); this.SEARCH_FUZZY = this.get('searchFuzzy'); + this.SEARCH_DELAY = 0; this.APP_GRID_ALLOW_INCOMPLETE_PAGES = this.get('appGridIncompletePages'); this.APP_GRID_ICON_SIZE = this.get('appGridIconSize'); @@ -484,8 +475,10 @@ export const Options = class Options { this.WS_SW_POPUP_V_POSITION = this.get('wsSwPopupVPosition') / 100; this.WS_SW_POPUP_MODE = this.get('wsSwPopupMode'); + this.WS_ANIMATION = this.get('workspaceAnimation'); this.WS_WRAPAROUND = this.get('wsSwitcherWraparound'); this.WS_IGNORE_LAST = this.get('wsSwitcherIgnoreLast'); + this.WS_SWITCHER_CURRENT_MONITOR = this.get('wsSwitcherMode') === 1; this.SHOW_FAV_NOTIFICATION = this.get('favoritesNotify'); this.NOTIFICATION_POSITION = this.get('notificationPosition'); @@ -522,10 +515,15 @@ export const Options = class Options { this.ESC_BEHAVIOR = this.get('overviewEscBehavior'); - this.WINDOW_THUMBNAIL_ENABLED = this.get('windowThumbnailModule'); - this.WINDOW_THUMBNAIL_SCALE = this.get('windowThumbnailScale') / 100; + this.WINDOW_THUMBNAIL_ENABLED = !!Me.Util.getEnabledExtensions('window-thumbnails').length; this.FIX_NEW_WINDOW_FOCUS = this.get('newWindowFocusFix'); + this.FIX_NEW_WINDOW_MONITOR = this.get('newWindowMonitorFix'); + + this.HIGHLIGHTING_STYLE = this.get('highlightingStyle'); + this.HIGHLIGHT_DEFAULT = this.HIGHLIGHTING_STYLE === 0; + this.HIGHLIGHT_UNDERLINE = this.HIGHLIGHTING_STYLE === 1; + this.HIGHLIGHT_NONE = this.HIGHLIGHTING_STYLE === 2; } _getAnimationDirection() { -- cgit v1.2.3