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

feat: hitting tab key inserts a tab in codemirror #2477

Merged
merged 1 commit into from
Aug 21, 2024
Merged

feat: hitting tab key inserts a tab in codemirror #2477

merged 1 commit into from
Aug 21, 2024

Conversation

deniseli
Copy link
Contributor

@deniseli deniseli commented Aug 21, 2024

Fixes #2458

Before, tabbing would change the focus to the next element on the page. This adds the correct key binding so that hitting tab within the codemirror editor actually inserts 2 spaces.

@ftl-robot ftl-robot mentioned this pull request Aug 21, 2024
@deniseli deniseli marked this pull request as ready for review August 21, 2024 23:10
@deniseli deniseli requested a review from alecthomas as a code owner August 21, 2024 23:10
@deniseli deniseli requested review from a team, safeer and wesbillman and removed request for a team and safeer August 21, 2024 23:10
Copy link
Collaborator

@wesbillman wesbillman left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Woot!

@deniseli deniseli added this pull request to the merge queue Aug 21, 2024
Merged via the queue into main with commit 2a797e5 Aug 21, 2024
20 checks passed
@deniseli deniseli deleted the dli/tabs branch August 21, 2024 23:46
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.

Select code editor component and finalize UX
2 participants