Bug#931280: gnome-shell: Keyboard layout randomly alternates

2019-07-01 Thread Michael Biebl
Am 01.07.19 um 10:29 schrieb Paul Menzel: > On 30.06.19 15:58, Michael Biebl wrote: >> I too have two keyboard layouts configured and this happens to me as >> well, under GNOME/Xorg and afaics is simply me pressing by accident >> Windows/Super + Space. This is the shortcut for switching the keyboa

Bug#931280: gnome-shell: Keyboard layout randomly alternates

2019-07-01 Thread Paul Menzel
Severity: normal On 30.06.19 15:58, Michael Biebl wrote: On Sun, 30 Jun 2019 14:35:47 +0200 Paul Menzel wrote: Package: gnome-shell Version: 3.30.2-9 Severity: serious That feels vastly exaggerated. That aside... Ok, if you say so that it won’t cause data loss. I change it to *normal*. W

Bug#931280: gnome-shell: Keyboard layout randomly alternates

2019-06-30 Thread Michael Biebl
On Sun, 30 Jun 2019 14:35:47 +0200 Paul Menzel wrote: > Package: gnome-shell > Version: 3.30.2-9 > Severity: serious That feels vastly exaggerated. That aside... > Dear Debian folks, > > > With Debian Sid/unstable with the default GNOME session, that means > Wayland is used, and with two key

Bug#931280: gnome-shell: Keyboard layout randomly alternates

2019-06-30 Thread Paul Menzel
Package: gnome-shell Version: 3.30.2-9 Severity: serious Dear Debian folks, With Debian Sid/unstable with the default GNOME session, that means Wayland is used, and with two keyboard layouts configured (Neo (default), and German) sometimes the keyboard layout changes from Neo to normal Germa