ZCommand Help

From ZCubes Wiki
Jump to navigation Jump to search

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