Jonas Dreßler 867587ef4c keyboard: Hide keyboardBox after destroying the keyboard ... It seems there is a weird race condition between Clutter trying to destroy the keyboard actor and Clutter trying to hide the keyboardBox container actor: If the keyboardBox is hidden before destroying the keyboard actor, Clutter doesn't repaint anything and the keyboard remains visible until something else draws over it. To fix this issue until we find the underlying Clutter bug, simply destroy the keyboard actor before hiding the keyboardBox. The order in which we call these doesn't matter anyway since hideKeyboard(true) hides the keyboard immediately without an animation. Fixes: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/1736 https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1142		2020-03-28 20:45:32 +00:00
..
dbusServices	dbusServices/extensions: Handle parentWindow parameter	2020-03-26 18:32:30 +01:00
gdm	js: Add missing chain-ups in vfuncs	2020-03-27 10:39:58 +01:00
misc	inputMethod: Protect for running with older mutter versions	2020-03-28 16:38:10 +00:00
perf	cleanup: Require "dangling" commas	2019-11-11 19:25:14 +00:00
portalHelper	js: Don't use templates in files with translations	2020-02-17 23:20:40 +01:00
ui	keyboard: Hide keyboardBox after destroying the keyboard	2020-03-28 20:45:32 +00:00
js-resources.gresource.xml	swipeTracker: Introduce swipe tracker	2020-01-10 18:20:22 +01:00
meson.build	extensions-app: Move Extensions app to new subproject	2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml	js: Remove unused files from resources	2020-03-09 13:18:48 +00:00