From 853250e121bb1ab2e5ebb4d2934ee09919b55deb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= Date: Fri, 11 Mar 2022 19:13:41 +0100 Subject: [PATCH] Gnome-Shell: theme workspace switcher --- share/themes/Kali-Dark/gnome-shell/gnome-shell.css | 8 ++++++++ share/themes/Kali-Light/gnome-shell/gnome-shell.css | 8 ++++++++ src/themes/Kali/sass/gnome-shell/_common-tweaks.scss | 11 +++++++++++ 3 files changed, 27 insertions(+) diff --git a/share/themes/Kali-Dark/gnome-shell/gnome-shell.css b/share/themes/Kali-Dark/gnome-shell/gnome-shell.css index 4dc4f2ae..0a210b1f 100644 --- a/share/themes/Kali-Dark/gnome-shell/gnome-shell.css +++ b/share/themes/Kali-Dark/gnome-shell/gnome-shell.css @@ -2810,6 +2810,14 @@ StScrollBar { color: transparent; transition-duration: 0s; } +/* Workspace Switcher */ +.ws-switcher-indicator { + padding: 2px; + margin: 10px; } + .ws-switcher-indicator:active { + padding: 4px; + margin: 8px; } + /* Screenshot UI */ .screenshot-ui-shot-cast-container { background-color: #383d4b; } diff --git a/share/themes/Kali-Light/gnome-shell/gnome-shell.css b/share/themes/Kali-Light/gnome-shell/gnome-shell.css index 193f144d..18ca84f3 100644 --- a/share/themes/Kali-Light/gnome-shell/gnome-shell.css +++ b/share/themes/Kali-Light/gnome-shell/gnome-shell.css @@ -2806,6 +2806,14 @@ StScrollBar { color: transparent; transition-duration: 0s; } +/* Workspace Switcher */ +.ws-switcher-indicator { + padding: 2px; + margin: 10px; } + .ws-switcher-indicator:active { + padding: 4px; + margin: 8px; } + /* Screenshot UI */ .screenshot-ui-shot-cast-container { background-color: #383d4b; } diff --git a/src/themes/Kali/sass/gnome-shell/_common-tweaks.scss b/src/themes/Kali/sass/gnome-shell/_common-tweaks.scss index b895f2ee..2a733556 100644 --- a/src/themes/Kali/sass/gnome-shell/_common-tweaks.scss +++ b/src/themes/Kali/sass/gnome-shell/_common-tweaks.scss @@ -132,6 +132,17 @@ $dialog_box_shadow: 0 2px 8px 0 transparentize(black, .6); } } +/* Workspace Switcher */ +.ws-switcher-indicator { + padding: 2px; + margin: 10px; + + &:active { + padding: 4px; + margin: 8px; + } +} + /* Screenshot UI */ .screenshot-ui-shot-cast-container { background-color: lighten($osd_bg_color, 4%);