--- x11/gnome-shell/Makefile (revision 490505) +++ x11/gnome-shell/Makefile (working copy) @@ -3,7 +3,7 @@ PORTNAME= gnome-shell PORTVERSION= 3.28.3 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= x11 gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome3 --- x11/gnome-shell/files/patch-js_ui_status_keyboard.js (nonexistent) +++ x11/gnome-shell/files/patch-js_ui_status_keyboard.js (working copy) @@ -0,0 +1,12 @@ +--- js/ui/status/keyboard.js.orig 2018-07-18 21:01:36 UTC ++++ js/ui/status/keyboard.js +@@ -334,9 +334,6 @@ var InputSourceManager = new Lang.Class({ + Meta.KeyBindingFlags.IS_REVERSED, + Shell.ActionMode.ALL, + this._switchInputSource.bind(this)); +- if (Main.sessionMode.isGreeter) +- this._settings = new InputSourceSystemSettings(); +- else + this._settings = new InputSourceSessionSettings(); + this._settings.connect('input-sources-changed', this._inputSourcesChanged.bind(this)); + this._settings.connect('keyboard-options-changed', this._keyboardOptionsChanged.bind(this));