Skip to content

Fix completions shortcut on Mac in C02 S03 and C03 S01 - #412

Open
SnirBroshi wants to merge 2 commits into
avigad:masterfrom
SnirBroshi:patch-2
Open

SnirBroshi wants to merge 2 commits into
avigad:masterfrom
SnirBroshi:patch-2

Conversation

@SnirBroshi

Copy link
Copy Markdown

Cmd-space on a Mac triggers spotlight, and Ctrl-space triggers completions (unless you have multiple input languages, in which case it switches languages).

@SnirBroshi SnirBroshi changed the title Fix completions shortcut on Mac in C02 S03 Fix completions shortcut on Mac in C02 S03 and C03 S01 Aug 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant