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

Reply via email to