Difference between revisions of "ZCommand Help"
Jump to navigation
Jump to search
| 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 | + | *<strong>Shift+Enter<strong> : 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 | + | *<strong>Alt+Enter</strong> : 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 | + | *Shift Key Twice</strong> : QuicklyToggle Case-Press |
| − | *Ctrl+Space :List | + | *<strong>Ctrl+Space</strong> :List |
| − | *Tab :Select from List | + | *<strong>Tab</strong> :Select from List |
| − | *F9 | + | *<strong>F9 </strong> :Evaluate Editor Contents |
| − | *Ctrl+F9 :Evaluate Editor Selection | + | *<strong>Ctrl+F9 :Evaluate Editor Selection |
| − | *Ctrl+G or Shift+Space: Selection to Greek | + | *<strong>Ctrl+G or Shift+Space: Selection to Greek |
| − | *Ctrl-K : Comment On | + | *<strong>Ctrl-K : Comment On |
| − | *Ctrl-Q : Comment Off | + | *<strong>Ctrl-Q</strong> : Comment Off |
| − | *Ctrl-O : Auto Format | + | *<strong>Ctrl-O</strong> : Auto Format |
| − | *F1 : Launch Help | + | *<strong>F1</strong> : Launch Help |
| − | *Ctrl-Space : Auto Complete | + | *<strong>Ctrl-Space</strong> : Auto Complete |
| − | *Shift-Space: Make Symbol | + | *<strong>Shift-Space</strong>: Make Symbol |
| − | *Ctrl-G | + | *<strong>Ctrl-G </strong> : Make Symbol |
| − | *Ctrl-U : Make Capital Symbol | + | *<strong>Ctrl-U</strong> : Make Capital Symbol |
| − | *Ctrl-B : Make Subscript | + | *<strong>Ctrl-B</strong> : Make Subscript |
| − | *Ctrl-P : Make Superscript | + | *<strong>Ctrl-P</strong> : Make Superscript |
| − | *Ctrl-N : Make Normal | + | *<strong>Ctrl-N</strong> : Make Normal |
| − | *Ctrl-D : Duplicate Selection | + | *<strong>Ctrl-D</strong> : Duplicate Selection |
| − | *Ctrl-Del : Delete Line | + | *<strong>Ctrl-Del</strong> : Delete Line |
| − | *Shift-Enter: Make Code Template | + | *<strong>Shift-Enter</strong>: 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 | + | *<strong>Shift-Enter</strong>: 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 | + | *<strong>Alt-Enter</strong>: 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 | + | *<strong>F9</strong> : Recalc Code |
| − | *Ctrl-F9 | + | *<strong>Ctrl-F9 </strong> : Recalc Code Selection |
| − | *Shift-F9 | + | *<strong>Shift-F9 </strong> : Recalc Code Line |
| − | *F11 & Esc : FullScreen/Esc | + | *<strong>F11 & Esc</strong> : FullScreen/Esc |
Revision as of 12:36, 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