Implemented some F123-specific keyboard shortcuts.
Nothing language-specific yet; these will come later.