Ah, bad libxklavier! I tracked this down, and sent an updated patch to https://bugzilla.gnome.org/show_bug.cgi?id=613681
Ah, bad libxklavier! I tracked this down, and sent an updated patch to https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 613681