gnome-shell/gnome-shell-disable-ibus-when-not-installed.patch

15 lines
534 B
Diff

diff -Nura gnome-shell-3.20.3/js/misc/ibusManager.js gnome-shell-3.20.3_new/js/misc/ibusManager.js
--- gnome-shell-3.20.3/js/misc/ibusManager.js 2015-11-05 13:55:13.000000000 +0000
+++ gnome-shell-3.20.3_new/js/misc/ibusManager.js 2016-08-10 08:58:04.686046644 +0000
@@ -44,6 +44,10 @@
_PRELOAD_ENGINES_DELAY_TIME: 30, // sec
_init: function() {
+ let daemon = Gio.File.new_for_path('/usr/bin/ibus-daemon');
+ if (!daemon.query_exists(null))
+ return;
+
if (!IBus)
return;