gnome-shell/js
Carlos Garnacho 8be95b5785 ibusManager: Add call to restart the ibus daemon
We may need to restart it with different arguments, so make it
possible to do that. Also, avoid to just restart it on _clear(),
this is now most likely through our --replace call than it is
through ibus-daemon eg. dying, avoids some noise in logs as
there is already an ongoing ibus-daemon.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/680
2019-09-05 07:42:46 +00:00
..
extensionPrefs extensionPrefs: Request correct GDK/GTK versions 2019-08-21 19:43:33 +02:00
gdm js: Use Clutter transitions for adjustment changes 2019-08-07 18:40:49 +02:00
misc ibusManager: Add call to restart the ibus daemon 2019-09-05 07:42:46 +00:00
perf perf: Shut up another eslint error 2019-07-24 00:28:45 +02:00
portalHelper cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
ui keyboard: Fix EmojiSelection:delta range 2019-09-03 03:20:17 +02:00
js-resources.gresource.xml accessibility: Add pointer accessibility support 2019-06-06 09:13:29 +02:00
meson.build build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml build: Include params.js in portal-helper gresources 2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml build: Use dedicated resources for helper programs 2018-08-14 17:28:04 +00:00