Custom keyboard hack for Gnome 3