diff options
| author | Jonas Ådahl <jadahl@gmail.com> | 2023-03-24 11:26:49 +0100 |
|---|---|---|
| committer | Jonas Ådahl <jadahl@gmail.com> | 2023-04-20 14:52:01 +0200 |
| commit | 8ab344929d4fe58d8ba34558de1ac0e9b77c9f7f (patch) | |
| tree | 28c9b887e243b434d4172d39a1f7876e34a0bef2 | |
| parent | 1da8df81c52a0fd9f694e2ca55442231f868fc1c (diff) | |
| download | gnome-shell-8ab344929d4fe58d8ba34558de1ac0e9b77c9f7f.tar.gz | |
js/main: Unset input method on shutdown
After shutdown, the Javascript context will be disposed, so we must make
sure we remain the active input method after this point.
Closes: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6535
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2722>
| -rw-r--r-- | js/ui/main.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/js/ui/main.js b/js/ui/main.js index cf9357f0f..6ecb1a06b 100644 --- a/js/ui/main.js +++ b/js/ui/main.js @@ -241,6 +241,8 @@ function _initializeUI() { inputMethod = new InputMethod.InputMethod(); Clutter.get_default_backend().set_input_method(inputMethod); + global.connect('shutdown', + () => Clutter.get_default_backend().set_input_method(null)); screenshotUI = new Screenshot.ScreenshotUI(); |