Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tag and language listing and completion #150

Merged
merged 4 commits into from
Dec 26, 2023
Merged

Tag and language listing and completion #150

merged 4 commits into from
Dec 26, 2023

Conversation

Ninjani
Copy link
Member

@Ninjani Ninjani commented Apr 25, 2023

@Ninjani Ninjani linked an issue Dec 26, 2023 that may be closed by this pull request
@Ninjani Ninjani changed the title Improve interactive keyboard shortcuts and completions Tag and language listing and completion Dec 26, 2023
@Ninjani Ninjani merged commit 84d2653 into master Dec 26, 2023
6 checks passed
@Ninjani Ninjani deleted the keyboard branch December 26, 2023 14:01
Ninjani added a commit that referenced this pull request Dec 26, 2023
Tag and language listing and completion
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.

Listing and autocomplete for tags and languages
1 participant