[gnome-shell-extensions/gnome-41] native-window-placement: Remove custom styling
- From: Marge Bot <marge-bot src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions/gnome-41] native-window-placement: Remove custom styling
- Date: Sat, 11 Dec 2021 13:18:40 +0000 (UTC)
commit 486cb59afffafbd82bd135377a5fd86ee97e9357
Author: Sebastian Keller <skeller gnome org>
Date: Sun Sep 5 19:18:48 2021 +0200
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
(cherry picked from commit 4a26cecd7dfd04a42561d645c7bc3b617b7c23e2)
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/202>
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 f882e95..25134b6 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 */
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]