[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59778: 30.0.50; [PATCH] Fix boxed menu bar in non-toolkit X builds
From: |
Eli Zaretskii |
Subject: |
bug#59778: 30.0.50; [PATCH] Fix boxed menu bar in non-toolkit X builds |
Date: |
Sun, 04 Dec 2022 14:46:16 +0200 |
> From: Manuel Giraud <manuel@ledu-giraud.fr>
> Cc: 59778@debbugs.gnu.org
> Date: Sat, 03 Dec 2022 22:59:03 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > Thanks, this LGTM. Could you please rebase on the current HEAD of the
> > master branch and resubmit? The patch doesn't apply otherwise.
>
> Thanks Eli. Here a new version compiled and (lighly) tested.
Thanks. I've now installed this on master, and I'm closing this bug.