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

16 lines
632 B
Diff

Index: gnome-shell-3.30.1/js/misc/ibusManager.js
===================================================================
--- gnome-shell-3.30.1.orig/js/misc/ibusManager.js 2018-10-08 21:33:22.000000000 +0200
+++ gnome-shell-3.30.1/js/misc/ibusManager.js 2018-10-22 20:25:19.878377429 +0200
@@ -41,6 +41,10 @@ var IBusManager = new Lang.Class({
_PRELOAD_ENGINES_DELAY_TIME: 30, // sec
_init() {
+ let daemon = Gio.File.new_for_path('/usr/bin/ibus-daemon');
+ if (!daemon.query_exists(null))
+ return;
+
IBus.init();
this._candidatePopup = new IBusCandidatePopup.CandidatePopup();