Skip to content

Keyboard Shortcuts

The dashboard supports keyboard shortcuts for fast navigation and common actions. Press Shift+? to open the Keyboard Shortcuts dialog at any time.

Shortcut Action
Alt+1 Go to Sources
Alt+2 Go to Query
Alt+3 Go to Tests
Alt+4 Go to Worlds
Alt+5 Go to Checklist
Alt+6 Go to Coverage
Alt+7 Go to Files
Alt+8 Go to Session

Global Shortcuts

Shortcut Action
Ctrl+K Open Command Palette
Ctrl+B Toggle Sidebar
Ctrl+` Toggle Terminal
Shift+? Show Keyboard Shortcuts dialog

Query Shortcut

Shortcut Action
Ctrl+Enter Execute current query

This shortcut works regardless of where your cursor is — even inside text fields or the editor.

Command Palette

Press Ctrl+K to open the Command Palette, a searchable menu with three groups of commands:

Navigation — The same destinations as Alt+1--8, with fuzzy search. Type a few letters to filter (e.g., "cov" finds Coverage).

World Context — Switch between halachic worlds:

  • Base (SA)
  • Mechaber
  • Rema
  • GRA
  • Sefardi (YO)
  • Ashk (MB)
  • Ashk (AH)

Actions — Quick actions:

  • Run All Tests
  • New Validation Session

Panel Controls

Action How
Resize sidebar Drag the vertical divider between sidebar and editor
Resize terminal Drag the horizontal divider between editor and terminal
Maximize terminal Click the maximize button in the terminal panel
Collapse sidebar Press Ctrl+B or drag divider to the left edge
Collapse terminal Press Ctrl+` or drag divider to the bottom edge

Tips

  • Learn Ctrl+K first — the Command Palette is the fastest way to navigate
  • Alt+number shortcuts let you switch panels without touching the mouse
  • Ctrl+Enter executes queries from anywhere — no need to click the Play button
  • Shortcuts are disabled inside text inputs (except Ctrl+Enter and Ctrl+K)