From e8d37d2fe2d3b6827c495f86ce4ac7951486f970 Mon Sep 17 00:00:00 2001 From: Mike Gabriel Date: Sat, 22 Mar 2025 22:05:59 +0100 Subject: Introduce UI/widget scaling per scaling factor. This gsettings 'widget-scaling-factor' can be used together with the 'xft-dpi' setting to fractionally scale the UI to better readability. --- src/menubar.vala | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'src/menubar.vala') diff --git a/src/menubar.vala b/src/menubar.vala index e39c1f3..5d193dd 100644 --- a/src/menubar.vala +++ b/src/menubar.vala @@ -94,8 +94,6 @@ public class MenuBar : Gtk.MenuBar public Gtk.Window? keyboard_window { get; private set; default = null; } public Gtk.AccelGroup? accel_group { get; construct; } - private const int HEIGHT = 32; - public MenuBar (Background bg, Gtk.AccelGroup ag) { Object (background: bg, accel_group: ag); @@ -305,8 +303,9 @@ public class MenuBar : Gtk.MenuBar public override void get_preferred_height (out int min, out int nat) { - min = HEIGHT; - nat = HEIGHT; + var greeter = new ArcticaGreeter (); + min = (int)Math.round(greeter.menubar_height - 8); + nat = (int)Math.round(greeter.menubar_height - 8); } private Indicator.Object? load_indicator_file (string indicator_name) -- cgit v1.2.3