Florian Müllner 85b7049376 window-list: Use font-relative sizes for width/height ...

Just like the top bar, the window list should scale according to
the font scaling factor, so convert the existing pixel sizes into
font-relative ones.

https://bugzilla.gnome.org/show_bug.cgi?id=703585

2015-06-19 23:49:01 +02:00

..

alternate-tab

Update for KeyBindingMode => ActionMode change

2014-12-19 16:13:29 +01:00

apps-menu

apps-menu: Remove some obsolete code

2015-06-19 18:22:47 +02:00

auto-move-windows

auto-move: Tweak prefs UI

2014-05-28 01:14:42 +02:00

drive-menu

Use a proper arrows instead of UTF8

2015-03-10 19:56:41 +01:00

example

example: Tweak prefs UI

2014-05-28 01:27:37 +02:00

launch-new-instance

launch-new-instance: Fix warning

2015-03-02 21:05:43 +01:00

native-window-placement

native-window-placement: Update for mutter API changes

2015-03-17 19:46:05 +01:00

places-menu

Use a proper arrows instead of UTF8

2015-03-10 19:56:41 +01:00

screenshot-window-sizer

screenshot-window-size: Update for mutter API changes

2015-03-17 19:46:05 +01:00

user-theme

Revert "user-theme: Temporarily work around a gnome-shell regression"

2014-11-27 14:49:43 +00:00

window-list

window-list: Use font-relative sizes for width/height

2015-06-19 23:49:01 +02:00

windowsNavigator

windowsNavigator: update for gnome-shell changes

2013-09-03 10:36:31 +02:00

workspace-indicator

Stop using deprecated GSettings:schema property

2014-10-07 14:38:12 +02:00

Makefile.am

New extension: Removable Drive Menu

2011-04-26 01:21:53 +02:00