@kaspermarkus did you intend to add the gnome keyboard setting to Andrei in this pull request?