gnome-shell/js
Florian Müllner 4e5ca6d376 dash: Fix messed up icon height
When determining the biggest icon size that fits the available height,
we first subtract the additional space requirements of icons (spacing,
padding, running indicator etc.) and then divide the result by the
number of icons to get the maximum size available to each icon texture.

In the above, the additional space requirement of each icon is taken
from the first icon (as all icons are assumed to be the same), and
calculated as the difference between the icon button's preferred height
and the currently used icon size.

To make sure that the icon is actually using the dash's current icon
size (even while animating to a new icon size), we enforce its height
during the size request and restore its original height afterwards.

However after some recent changes, that step is causing troubles:
For some reason, the original height may be 0, and when we restore it,
we end up forcing a fixed non-height that bypasses the regular size
request machinery.

While it is unclear where exactly the zero height comes from (maybe
waiting for a valid resource scale?), it is clear that it's best
to avoid forcing a fixed height. So instead of making the icon
texture comply with the assumed icon size, adjust the calculations
to use its current height request.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1053
2019-04-13 14:17:07 +00:00
..
extensionPrefs extensionPrefs: Fix pref button appearance 2019-04-12 00:51:44 +02:00
gdm loginDialog: Load logo file texture given resource scale 2019-03-01 17:12:53 +00:00
misc weather: Handle missing permission store 2019-04-03 13:27:42 +00:00
perf perf: Stop using GTK 2019-04-11 17:27:50 +00:00
portalHelper cleanup: Use destructuring for imports from GI 2019-02-09 07:39:20 +01:00
ui dash: Fix messed up icon height 2019-04-13 14:17:07 +00:00
js-resources.gresource.xml build: Remove remote menu support 2019-02-06 18:29:15 +01:00
meson.build build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml build: Include params.js in portal-helper gresources 2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00