c72241df5b
For applications with no proper desktop file, the window icon is used as application icon in the tab switcher, but it won't have the correct icon size. The current approach is to add additional padding to these icons - the size turns out inconsistent with other icons, but the icon appears sharp. For the dash it has been decided that unsharp icons are less evil than differing icon sizes, so icons are scaled up to the "right" size - for consistency, do the same in the alt-tab switcher. https://bugzilla.gnome.org/show_bug.cgi?id=643300 |
||
---|---|---|
.. | ||
misc | ||
perf | ||
ui | ||
Makefile.am |