ui/gtk: Fix the implicit mouse ungrabbing logic
commit8af5f82b90cc860d79171ade228ccea59c7f525e
authorAkihiko Odaki <akihiko.odaki@daynix.com>
Sat, 8 Oct 2022 14:01:16 +0000 (8 23:01 +0900)
committerGerd Hoffmann <kraxel@redhat.com>
Wed, 12 Oct 2022 10:46:34 +0000 (12 12:46 +0200)
treefe2e2054a1cc9eb5f9a2dfc6fe1cea28d7e85fb9
parent0468fe82d32e99b6d84085e76d1e946bbe1e80ac
ui/gtk: Fix the implicit mouse ungrabbing logic

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_change() strictly follows the corresponding grabbing
logic found in gd_button_event().

Signed-off-by: Akihiko Odaki <akihiko.odaki@daynix.com>
Message-Id: <20221008140116.11473-1-akihiko.odaki@daynix.com>
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
ui/gtk.c