Difference between revisions of "ZCommand Help"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
=Z Command Window Help= | =Z Command Window Help= | ||
| − | + | *Shift+Space : Z3 AutoComplete | |
:type sqrt and press <i>Shift+Space</i> | :type sqrt and press <i>Shift+Space</i> | ||
| Line 8: | Line 8: | ||
:type for and press <i>Shift+Space</i> | :type for and press <i>Shift+Space</i> | ||
| − | + | *Shift+Enter : Z3 Code Expansion & Parameter List | |
:e.g. type PMT and press Shift+Enter | :e.g. type PMT and press Shift+Enter | ||
| Line 14: | Line 14: | ||
| − | + | *Alt+Enter : Z3 Code Template Expansion | |
:e.g. type switch and press Alt+Enter | :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-K : Comment On |
| − | Ctrl-Q : Comment Off | + | *Ctrl-Q : Comment Off |
| − | Ctrl-O : Auto Format | + | *Ctrl-O : Auto Format |
| − | F1 : Launch Help | + | *F1 : Launch Help |
| − | Ctrl-Space : Auto Complete | + | *Ctrl-Space : Auto Complete |
| − | Shift-Space: Make Symbol | + | *Shift-Space: Make Symbol |
| − | Ctrl-G : Make Symbol | + | *Ctrl-G : Make Symbol |
| − | Ctrl-U : Make Capital Symbol | + | *Ctrl-U : Make Capital Symbol |
| − | Ctrl-B : Make Subscript | + | *Ctrl-B : Make Subscript |
| − | Ctrl-P : Make Superscript | + | *Ctrl-P : Make Superscript |
| − | Ctrl-N : Make Normal | + | *Ctrl-N : Make Normal |
| − | Ctrl-D : Duplicate Selection | + | *Ctrl-D : Duplicate Selection |
| − | Ctrl-Del : Delete Line | + | *Ctrl-Del : Delete Line |
| − | Shift-Enter: Make Code Template | + | *Shift-Enter: Make Code Template |
:(Type <i>switch</i> shift+enter gives switch template etc.) | :(Type <i>switch</i> shift+enter gives switch template etc.) | ||
| − | Shift-Enter: Make Code Template and Functions | + | *Shift-Enter: Make Code Template and Functions |
:(Type <i>switch</i> shift+enter gives switch template etc.) | :(Type <i>switch</i> shift+enter gives switch template etc.) | ||
| − | Alt-Enter: Make Code Template Only | + | *Alt-Enter: Make Code Template Only |
:(Type <i>for</i> shift+enter gives switch template etc.) | :(Type <i>for</i> shift+enter gives switch template etc.) | ||
| − | F9 : Recalc Code | + | *F9 : Recalc Code |
| − | Ctrl-F9 : Recalc Code Selection | + | *Ctrl-F9 : Recalc Code Selection |
| − | Shift-F9 : Recalc Code Line | + | *Shift-F9 : Recalc Code Line |
| − | F11 & Esc : FullScreen/Esc | + | *F11 & Esc : FullScreen/Esc |
Revision as of 12:33, 17 June 2021
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