Skip to content

Do not quit on Esc; instead, Esc triggers drill-down → aggregate#186

Merged
mike1858 merged 1 commit into
mainfrom
remove-esc-for-quit
Jun 13, 2026
Merged

Do not quit on Esc; instead, Esc triggers drill-down → aggregate#186
mike1858 merged 1 commit into
mainfrom
remove-esc-for-quit

Commits

Commits on Jun 13, 2026