From 4a26cecd7dfd04a42561d645c7bc3b617b7c23e2 Mon Sep 17 00:00:00 2001 From: Sebastian Keller Date: Sun, 5 Sep 2021 19:18:48 +0200 Subject: [PATCH] native-window-placement: Remove custom styling The window-picker padding was causing it to become smaller in the overview resulting in a jump when opening it and caused sizing issues with the workspace view in the app picker. However it is not needed anymore with the new overview, so this can be fixed by simply removing it. The horizontal- and vertical-spacing properties got replaced with a spacing property a while ago. However this is only used in WorkspaceLayout::_createBestLayout() which gets overridden by this extension which does not use it. So they can simply be removed. The shell-caption-spacing property got removed when the window captions got changed to always use the full length and has not been doing anything since. Fixes: https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/301 Fixes: https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/309 Part-of: --- extensions/native-window-placement/stylesheet.css | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/extensions/native-window-placement/stylesheet.css b/extensions/native-window-placement/stylesheet.css index f882e95a..25134b65 100644 --- a/extensions/native-window-placement/stylesheet.css +++ b/extensions/native-window-placement/stylesheet.css @@ -1,9 +1 @@ -.window-caption { - -shell-caption-spacing: 13px; /* current caption height is 26px => set it to half of it. TODO: better solution needed */ -} - -.window-picker { - -horizontal-spacing: 32px; - -vertical-spacing: 32px; - padding: 64px 32px; -} \ No newline at end of file +/* This extensions requires no special styling */