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

2023-03-13 Thread 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 Schoe

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

2023-03-13 Thread Christian Schoenebeck
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 grabbe

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

2023-03-13 Thread BALATON Zoltan
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

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

2023-03-13 Thread Christian Schoenebeck
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

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

2023-02-27 Thread Christian Schoenebeck
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 approp

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

2022-12-30 Thread Christian Schoenebeck
On Thursday, December 29, 2022 1:31:09 PM CET Philippe Mathieu-Daudé wrote: > On 27/12/22 17:15, 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

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

2022-12-29 Thread Philippe Mathieu-Daudé
On 27/12/22 17:15, 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

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

2022-12-27 Thread Christian Schoenebeck
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 (enco