ZCommand Help

-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. type PMT and press Shift+Enter

Z3 Code Template Expansion Alt+Enter

e.g. type switch and press Alt+Enter

Toggle Case-Press Shift Key Twice Quickly

List-Ctrl+Space

Select from List-Tab

Evaluate Editor Contents-F9

Evaluate Editor Selection-Ctrl+F9

Selection to Greek-Ctrl+G or Shift+Space

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.)

F9 : Recalc Code

Ctrl-F9 : Recalc Code Selection

Shift-F9 : Recalc Code Line

F11 & Esc : FullScreen/Esc