updated keyboard shortcuts

now uses "alt" instead of "ctrl," which should result in fewer
collisions with ordinary editing shortcuts