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_...@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