diff options
Diffstat (limited to 'extensions/vertical-workspaces/search.js')
-rw-r--r-- | extensions/vertical-workspaces/search.js | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/extensions/vertical-workspaces/search.js b/extensions/vertical-workspaces/search.js deleted file mode 100644 index 3193eb2..0000000 --- a/extensions/vertical-workspaces/search.js +++ /dev/null @@ -1,52 +0,0 @@ -/** - * Vertical Workspaces - * search.js - * - * @author GdH <G-dH@github.com> - * @copyright 2022 - 2023 - * @license GPL-3.0 - * - */ - -'use strict'; - -const { Meta } = imports.gi; - -const Main = imports.ui.main; - -const Me = imports.misc.extensionUtils.getCurrentExtension(); -const _Util = Me.imports.util; - -let _overrides; -let opt; - -let SEARCH_MAX_WIDTH; - -function update(reset = false) { - opt = Me.imports.settings.opt; - _updateSearchViewWidth(reset); - - if (reset) { - Main.overview.searchEntry.visible = true; - Main.overview.searchEntry.opacity = 255; - _overrides = null; - opt = null; - return; - } -} - -function _updateSearchViewWidth(reset = false) { - const searchContent = Main.overview._overview._controls.layoutManager._searchController._searchResults._content; - if (!SEARCH_MAX_WIDTH) { // just store original value; - const themeNode = searchContent.get_theme_node(); - const width = themeNode.get_max_width(); - SEARCH_MAX_WIDTH = width; - } - - if (reset) { - searchContent.set_style(''); - } else { - let width = Math.round(SEARCH_MAX_WIDTH * opt.SEARCH_VIEW_SCALE); - searchContent.set_style(`max-width: ${width}px;`); - } -} |