Hard-coded workaround for gnome-shell bug with input source switching.