On Thu, Oct 23, 2014 at 4:16 PM, Benjamin Kellermann <[email protected]> wrote: > Just for your Info: > https://www.mail-archive.com/search?q=765372&l=debian-bugs-dist%40lists.debian.org > > Let me know, if you have better suggestions…
Ich glaub das ist der gleiche/ein ähnlicher Bug, wie der von mir gemeldete: https://bugzilla.gnome.org/show_bug.cgi?id=737134 War aber zumindest zwischenzeitlich gefixt, auf meinem System lief dann alles wieder rund. Der Fehler lag in einer depth-first-search vs. breadth-first-search in der Keymap. Cheers. -- typed with http://neo-layout.org
