Revision as of 12:32, 17 June 2021

Z Command Window Help

type sqrt and press Shift+Space

type for and press Shift+Space

e.g. type PMT and press Shift+Enter

e.g. type switch and press Alt+Enter

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

@@ Line 2: / Line 2: @@
 =Z Command Window Help=
-Z3 AutoComplete-Shift+Space
+#Shift+Space     : 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-Shift+Enter
+#Shift+Enter     : Z3 Code Expansion & Parameter List
 :e.g. type PMT and press Shift+Enter
@@ Line 14: / Line 14: @@
-Z3 Code Template Expansion Alt+Enter
+#Alt+Enter     : Z3 Code Template Expansion
 :e.g. type switch and press Alt+Enter
-Toggle Case-Press Shift Key Twice Quickly
+#Shift Key Twice : QuicklyToggle Case-Press
-List-Ctrl+Space
+#Ctrl+Space     :List
-Select from List-Tab
+#Tab     :Select from List
-Evaluate Editor Contents-F9
+#F9     :Evaluate Editor Contents
-Evaluate Editor Selection-Ctrl+F9
+#Ctrl+F9     :Evaluate Editor Selection
-Selection to Greek-Ctrl+G or Shift+Space
+#Ctrl+G or Shift+Space: Selection to Greek
 Ctrl-K     : Comment On