Difference between revisions of "ZCommand Help"
Jump to navigation
Jump to search
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | [https://wiki.zcubes.com/ About ZCubes] | ||
=Z Command Window Help= | =Z Command Window Help= | ||
| Line 8: | Line 9: | ||
:type for and press <i>Shift+Space</i> | :type for and press <i>Shift+Space</i> | ||
| − | *<strong>Shift+Enter<strong> : 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 18: | Line 19: | ||
:e.g. type switch and press Alt+Enter | :e.g. type switch and press Alt+Enter | ||
| − | *Shift Key Twice</strong> : QuicklyToggle Case-Press | + | *<strong>Shift Key Twice</strong> : QuicklyToggle Case-Press |
*<strong>Ctrl+Space</strong> :List | *<strong>Ctrl+Space</strong> :List | ||
| Line 26: | Line 27: | ||
*<strong>F9 </strong> :Evaluate Editor Contents | *<strong>F9 </strong> :Evaluate Editor Contents | ||
| − | *<strong>Ctrl+F9 :Evaluate Editor Selection | + | *<strong>Ctrl+F9</strong> :Evaluate Editor Selection |
| − | *<strong>Ctrl+G or Shift+Space: Selection to Greek | + | *<strong>Ctrl+G or Shift+Space</strong>: Selection to Greek |
| − | *<strong>Ctrl-K : Comment On | + | *<strong>Ctrl-K</strong> : Comment On |
*<strong>Ctrl-Q</strong> : Comment Off | *<strong>Ctrl-Q</strong> : Comment Off | ||
Latest revision as of 21:00, 20 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