Description Markus Keller 2016-03-23 13:24:02 EDT

Ubuntu 14.04, GTK3

When I start Snippet172 at scale factor 1 and then switch the scale factor to 1.5, then only the Buttons with a FILL GridData attribute get resized, but other widgets keep the originally computed size. All buttons get a bigger font.

When I make the shell wider, the height of the bottom row of buttons (those with a horizontal FILL) is corrected, but the other buttons stay too small.


I reduced Snippet172 to only create the "LEFT, FILL" button.

In Button#computeSizeInPixels(int, int, boolean), I saw that 
Control#computeNativeSize(long, int, int, boolean) calls gtk_widget_get_preferred_size (), which returns 80, 29 at 100%, and it returns the same after the scale factor was set to 150%.

When I start with scale factor 150%, the computed size is 110, 38.

=> Looks like GTK needs a magic spell to recompute the preferred size of widgets after a dynamic resolution change.