CoCoA:User Interface Guide Shortcuts Summary (4.4)

Shortcuts

Command History

• CTRL-Return: Append, Execute, Jump
• ALT-Return: Append, NoExecute, Jump
• SHIFT-Return: Replace, NoExecute, NoJump
• ALT-SHIFT-Return: Append, NoExecute, NoJump
• CTRL-SHIFTReturn: Append, Execute, NoJump
• ALT-Left: Previous interactive page
• ALT-Right: Next interactive page
• CTRL-Delete: Delete current history page

Editor

• CTRL-N: Create a new document
• CTRL-O: Open an existing document
• CTRL-W: Close the current document
• CTRL-S: Save the current document
• CTRL-P: Print the current document
• CTRL-Q: Quit the application
• CTRL-Z: Undo last text operation
• CTRL-Y: Redo last text operation
• CTRL-X: Cut the currently selected text and copy it to the clipboard
• CTRL-C: Copy the currently selected text to the clipboard
• CTRL-V: Paste the text from the clipboard
• CTRL-A: Select all
• F1: Contents
• SHIFT-F1: What's this

Word Completion

• CTRL-Down: Enter word completion mode manually and show the first possible completion.
• CTRL-Up: Enter word completion mode manually and show the last possible completion.
• Down: When in word completion mode, this will show the next possible completion.
• Up: When in word completion mode, this will show the previous possible completion.
• Right: When in word completion mode, this will exit word completion mode accepting the last completion shown.
• Left: When in word completion mode, this will exit word completion mode accepting the last completion shown. Furthermore, this will append () to the completed word. This is very useful for completions that represent function names.
• CTRL-Insert: Activates/Deactivates autocompletion mode. The current status is shown in the status bar (AC).
• Esc Delete: When in word completion mode, this will exit word completion mode rejecting the completion. You can also exit word completion mode by resuming normal typing.

Misc

• CTRL-ALT-A
• ALT-Down
• ALT-Up
• ALT-Page Down
• ALT-Page Up
• ALT-Home
• ALT-End
• ALT-Wheel

These key combinations can be used in the input window to select all text or to move around in the output window, i.e. if you press Alt + Home in the input window, the output window will jump to the very top. Of course, by Wheel we simply mean that all scrolling events from a wheel mouse will be sent to the output window, too.