PiP PopupWindow: Support floating point scale factor (#1634)

This commit is contained in:
David Hewitt 2023-04-07 18:27:23 +01:00 committed by GitHub
parent 051534a29f
commit 51d8eee427
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -64,8 +64,10 @@ public class Gala.Plugins.PIP.PopupWindow : Clutter.Actor {
}
construct {
var scale = Utils.get_ui_scaling_factor ();
button_size = 36 * scale;
unowned var display = wm.get_display ();
var scale = display.get_monitor_scale (display.get_current_monitor ());
button_size = Gala.Utils.scale_to_int (36, scale);
container_margin = button_size / 2;
reactive = true;