Re: [PATCH] ui/cocoa: user friendly characters for release mouse

[Philippe Mathieu-Daudé]

On 13/3/23 14:53, Christian Schoenebeck wrote:
> On Monday, March 13, 2023 2:42:36 PM CET BALATON Zoltan wrote:
> > On Mon, 13 Mar 2023, Christian Schoenebeck wrote:
> > > On Monday, February 27, 2023 12:28:02 PM CET Christian Schoenebeck wrote:
> > > > On Tuesday, December 27, 2022 5:15:31 PM CET Christian Schoenebeck wrote:
> > > > > While mouse is grabbed, window title contains a hint for the user what
> > > > > keyboard keys to press to release the mouse. Make that hint text a bit
> > > > > more user friendly for a Mac user:
> > > > >
> > > > >   - Replace "Ctrl" and "Alt" by appropriate symbols for those keyboard
> > > > >     keys typically displayed for them on a Mac (encode those symbols by
> > > > >     using UTF-8 characters).
> > > > >
> > > > >   - Drop " + " in between the keys, as that's not common on macOS for
> > > > >     documenting keyboard shortcuts.
> > > > >
> > > > >   - Convert lower case "g" to upper case "G", as that's common on macOS.
> > > > >
> > > > >   - Add one additional space at start and end of key stroke set, to
> > > > >     visually separate the key strokes from the rest of the text.
> > > > >
> > > > > Signed-off-by: Christian Schoenebeck <qemu_oss@crudebyte.com>
> > > > > ---
> > > >
> > > > Ping
> > >
> > > Gerd,
> > >
> > > given that I got a RB and TB from Philippe, would you queue this minor macOS
> > > patch please?
> >
> > Isn't this already merged as 23bdd0de97a18 ?
>
> Ah yes, thanks! Sorry for the noise!

Sorry my bad, back then I forgot to reply to the patch mentioning
I'd queue this patch.