From 52f118cd4c2fbdd81a6ef463835a20cb3d6a3667 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Mon, 8 Apr 2024 18:02:14 +0200 Subject: Updating vertical-workspaces to version 28 [891a8df]. Signed-off-by: Daniel Baumann --- extensions/vertical-workspaces/search.js | 52 -------------------------------- 1 file changed, 52 deletions(-) delete mode 100644 extensions/vertical-workspaces/search.js (limited to 'extensions/vertical-workspaces/search.js') 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 - * @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;`); - } -} -- cgit v1.2.3