View | Details | Raw Unified | Return to bug 235009 | Differences between
and this patch

Collapse All | Expand All

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

Return to bug 235009