[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] ui/cocoa: user friendly characters for release mouse
From: |
Christian Schoenebeck |
Subject: |
Re: [PATCH] ui/cocoa: user friendly characters for release mouse |
Date: |
Mon, 13 Mar 2023 14:53:29 +0100 |
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!
Best regards,
Christian Schoenebeck