The terminal command palette. Contribute to pindexis/marker development by creating an account on GitHub.