9720b32987
When adjusting dash icon sizes, we compute the icon padding by subtracting the configured icon size from the first icon actor's preferred size. To make sure that the preferred size correctly corresponds to the current dash icon size even while the icon is animating, we enforce the size before the size request. For that we used to temporarily manipulate the icon texture size directly, but commit e92d204d425 cleaned this up to use the setIconSize() method instead. This does not work however, as the icon actor's iconSize property will always match the dash iconSize property, making the method a noop. So go back to the original approach of enforcing the texture size to make sure we always base our computations on correct values. https://bugzilla.gnome.org/show_bug.cgi?id=745649
GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to provide a visually attractive and easy to use experience. For more information about GNOME Shell, including instructions on how to build GNOME Shell from source and how to get involved with the project, see: https://wiki.gnome.org/Projects/GnomeShell Bugs should be reported at http://bugzilla.gnome.org against the 'gnome-shell' product. License ======= GNOME Shell is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.