ZCommand Help
Z Command Window Help
- Shift+Space : Z3 AutoComplete
- type sqrt and press Shift+Space
- type for and press Shift+Space
- Shift+Enter : Z3 Code Expansion & Parameter List
- e.g. type PMT and press Shift+Enter
- Alt+Enter : Z3 Code Template Expansion
- e.g. type switch and press Alt+Enter
- Shift Key Twice : QuicklyToggle Case-Press
- Ctrl+Space :List
- Tab :Select from List
- F9 :Evaluate Editor Contents
- Ctrl+F9 :Evaluate Editor Selection
- Ctrl+G or Shift+Space: Selection to Greek
- Ctrl-K : Comment On
- Ctrl-Q : Comment Off
- Ctrl-O : Auto Format
- F1 : Launch Help
- Ctrl-Space : Auto Complete
- Shift-Space: Make Symbol
- Ctrl-G : Make Symbol
- Ctrl-U : Make Capital Symbol
- Ctrl-B : Make Subscript
- Ctrl-P : Make Superscript
- Ctrl-N : Make Normal
- Ctrl-D : Duplicate Selection
- Ctrl-Del : Delete Line
- Shift-Enter: Make Code Template
- (Type switch shift+enter gives switch template etc.)
- Shift-Enter: Make Code Template and Functions
- (Type switch shift+enter gives switch template etc.)
- Alt-Enter: Make Code Template Only
- (Type for shift+enter gives switch template etc.)
- F9 : Recalc Code
- Ctrl-F9 : Recalc Code Selection
- Shift-F9 : Recalc Code Line
- F11 & Esc : FullScreen/Esc