 Jakub Steiner
|
5e545d2991
|
theme: window-list minimized button
- when a window is minimized, it's unfocused, thus the button
in the window list should remain raised
https://bugzilla.gnome.org/show_bug.cgi?id=775282
|
2017-01-20 14:45:30 +01:00 |
|
|
Jakub Steiner
|
59aa0f66f3
|
panel style changes
- based on a patch by rudolf@palaticky.com
- having three css locations with hardcoded colors,
what could possibly go wrong in the future. :(
https://bugzilla.gnome.org/show_bug.cgi?id=756807
|
2016-05-10 15:51:49 +02:00 |
|
|
Jakub Steiner
|
2935848954
|
window-list button colors
- not sure I win the override game
https://bugzilla.gnome.org/show_bug.cgi?id=756807
|
2015-10-26 15:34:52 +01:00 |
|
 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 |
|