2017-09-14 13:46:11 +02:00
|
|
|
Index: gnome-shell-3.26.0/js/misc/ibusManager.js
|
|
|
|
|
===================================================================
|
|
|
|
|
--- gnome-shell-3.26.0.orig/js/misc/ibusManager.js
|
|
|
|
|
+++ gnome-shell-3.26.0/js/misc/ibusManager.js
|
|
|
|
|
@@ -45,6 +45,10 @@ var IBusManager = new Lang.Class({
|
2016-08-12 11:41:51 +02:00
|
|
|
_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;
|
|
|
|
|
|
