diff options
Diffstat (limited to 'themes/Plata/gnome-shell/extensions/window-list/README')
| -rw-r--r-- | themes/Plata/gnome-shell/extensions/window-list/README | 28 |
1 files changed, 28 insertions, 0 deletions
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. |