Only left alt is supported, because many keyboard layouts use right alt like
  shift for typing characters, and I don't know how to figure out the current
  layout.