Files
gnome-shell-extensions/extensions
Florian Müllner b97c111bde window-list: Expand window buttons vertically
The window-list's fixed height currently allows us to get away without
expanding buttons, however this won't be the case anymore once we start
adapting the list with the text scaling. So fix up the code to do what
was always the intention anyway.

https://bugzilla.gnome.org/show_bug.cgi?id=703585
2015-06-19 23:49:01 +02:00
..
2014-05-28 01:27:37 +02:00