Subject: bug#63395: HiDPI/GTK: menubar height scaled twice in xg_update_frame_menubar()

From: Po Lu <[email-masked]>
Date: Thu, 07 Sep 2023 08:59:30 +0800

Stefan Kangas <[email-masked]> writes:

> Po Lu, could you please take a look at the below bug report?

Yes.  Tobin, I corrected this on master; would you please try again?