Re: GTK build: some menus in the menu bar stay highlighted

[Jan Djärv]

Jan Djärv skrev:
> Richard Stallman skrev:
> >     Actually I think I found a safe fix.  If there is no negative 
> > feedback, I'll     add it to HEAD.  I'm not sure who decides if it 
> > should go to the 22.1 branch.
> >
> > I think it should go in 22.1
> > as well as in the trunk.
>
> Checked in in 22.1 and branch.
                         ^^^^^^-- trunk.

        Jan D.