blob: e76addf7e19dd5d1a22abb97e2623d55f1894b1f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
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.
|
