Difference between revisions of "ZCommand Help"
Jump to navigation
Jump to search
(Created page with " -Z Command Window Help- Z3 AutoComplete-Shift+Space type sqrt and press Shift+Space type for and press Shift+Space Z3 Code Expansion & Parameter List-Shift+Enter e.g. ty...") |
|||
| (10 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | [https://wiki.zcubes.com/ About ZCubes] | ||
| − | + | =Z Command Window Help= | |
| − | + | *<strong>Shift+Space</strong> : Z3 AutoComplete | |
| − | type sqrt and press Shift+Space | + | :type sqrt and press <i>Shift+Space</i> |
| − | type for and press Shift+Space | + | :type for and press <i>Shift+Space</i> |
| − | 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 |
| − | 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 |
| − | + | *<strong>Shift Key Twice</strong> : QuicklyToggle Case-Press | |
| − | + | *<strong>Ctrl+Space</strong> :List | |
| − | Select from List | + | *<strong>Tab</strong> :Select from List |
| − | Evaluate Editor Contents | + | *<strong>F9 </strong> :Evaluate Editor Contents |
| − | Evaluate Editor Selection | + | *<strong>Ctrl+F9</strong> :Evaluate Editor Selection |
| − | + | *<strong>Ctrl+G or Shift+Space</strong>: Selection to Greek | |
| − | Ctrl-K : Comment On | + | *<strong>Ctrl-K</strong> : 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.) |
| − | + | *<strong>Shift-Enter</strong>: Make Code Template and Functions | |
| − | + | :(Type <i>switch</i> shift+enter gives switch template etc.) | |
| − | + | *<strong>Alt-Enter</strong>: Make Code Template Only | |
| − | F11 & Esc : FullScreen/Esc | + | :(Type <i>for</i> shift+enter gives switch template etc.) |
| + | |||
| + | *<strong>F9</strong> : Recalc Code | ||
| + | |||
| + | *<strong>Ctrl-F9 </strong> : Recalc Code Selection | ||
| + | |||
| + | *<strong>Shift-F9 </strong> : Recalc Code Line | ||
| + | |||
| + | *<strong>F11 & Esc</strong> : FullScreen/Esc | ||
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