From 993917ddcedd58927a068cc804d81f1018d7bc0e Mon Sep 17 00:00:00 2001 From: zachir Date: Tue, 6 Jun 2023 10:14:44 -0500 Subject: Fix gtk theme setting --- .../gnome-shell/extensions/window-list/README | 28 ++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 themes/Plata/gnome-shell/extensions/window-list/README (limited to 'themes/Plata/gnome-shell/extensions/window-list/README') diff --git a/themes/Plata/gnome-shell/extensions/window-list/README b/themes/Plata/gnome-shell/extensions/window-list/README new file mode 100644 index 0000000..e76addf --- /dev/null +++ b/themes/Plata/gnome-shell/extensions/window-list/README @@ -0,0 +1,28 @@ +/**************************************** + * Override default window-list styling * + ****************************************/ + +Window-list and Gnome-Classic extension can not accept any user-side theming. +So we need to do hacky file moving to override... + +1. Verify the proper path of that extension + + In general, + `/usr/share/gnome-shell/extensions/window-list@gnome-shell-extensions.gcampax.github.com/` + has these 2 stylesheets: + `classic.css` + `stylesheet.css` + +2. Backup those 2 files as something like "xxx.css.org" or "xxx.css.bak". + +3. Copy Plata's files into that place: + * custom files are placed at + "${prefix}/share/themes/Plata/gnome-shell/extensions/window-list/classic.css" + "${prefix}/share/themes/Plata/gnome-shell/extensions/window-list/stylesheet.css" + + * copy those 2 files into that place. + +4. Restart Gnome-Shell: + * Press "Alt + F2" and then type "r" and hit "Enter" key. + +Those methods are needed in every time when window-list extension package was updated. -- cgit v1.2.3