 Florian Müllner
|
4cde6facc9
|
window-list: Use font-relative size in classic style
Commit 85b7049376 fixed this for the regular session, but forgot to also
update the classic style.
|
2015-09-04 19:56:23 +02:00 |
|
|
Florian Müllner
|
45767c93d5
|
window-list: Make bottom panel taller in classic mode
Consider additional borders in classic styling for the panel height.
https://bugzilla.gnome.org/show_bug.cgi?id=698169
|
2013-05-13 22:01:01 +02:00 |
|
|
Florian Müllner
|
a1c938d3d9
|
window-list: Add classic mode styling
Classic mode uses a distinct visual style, support this by shipping
a dedicated stylesheet.
https://bugzilla.gnome.org/show_bug.cgi?id=693171
|
2013-02-05 20:09:16 +01:00 |
|