Re: [PATCH] ui/gtk: Fix the implicit mouse ungrabbing logic

2022-10-12 Thread Gerd Hoffmann
On Sat, Oct 08, 2022 at 11:01:16PM +0900, Akihiko Odaki wrote: > Although the grab menu item represents the tabbed displays, the old > implicit mouse ungrabbing logic changes the grab menu item even for > an untabbed display. > > Leave the grab menu item when implicitly ungrabbing mouse for an > u

[PATCH] ui/gtk: Fix the implicit mouse ungrabbing logic

2022-10-08 Thread Akihiko Odaki
Although the grab menu item represents the tabbed displays, the old implicit mouse ungrabbing logic changes the grab menu item even for an untabbed display. Leave the grab menu item when implicitly ungrabbing mouse for an untabbed display. The new ungrabbing logic introduced in gd_mouse_mode_chang