a80e16d09e
At the moment gnome-shell can get really confused if a menu is fading out and gets clicked. It can lead to mouse pointer input getting stuck until the shell is restarted. This commit addresses the problem by ignoring input events that come in when the menu is closing. |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
portalHelper | ||
ui | ||
js-resources.gresource.xml | ||
meson.build | ||
portal-resources.gresource.xml | ||
prefs-resources.gresource.xml |