windowswitcher: Update scale factor when updating dock (#471)

This commit is contained in:
Peter Uithoven 2019-02-27 17:54:09 +01:00 committed by Rico Tzschichholz
parent 1a96644c6a
commit 6da349e939

View File

@ -134,6 +134,8 @@ namespace Gala
*/
void update_dock ()
{
ui_scale_factor = InternalUtils.get_ui_scaling_factor ();
var screen = wm.get_screen ();
var geometry = screen.get_monitor_geometry (screen.get_primary_monitor ());
var layout = (BoxLayout) dock.layout_manager;