Skip to content

Adding initial vim keybindings implementation - #142

Draft
jyoo980 wants to merge 3 commits into
leanprover-community:mainfrom
jyoo980:add-vim-bindings
Draft

Adding initial vim keybindings implementation#142
jyoo980 wants to merge 3 commits into
leanprover-community:mainfrom
jyoo980:add-vim-bindings

Conversation

@jyoo980

@jyoo980 jyoo980 commented Aug 20, 2026

Copy link
Copy Markdown
Contributor

Resolves #25

@joneugster

Copy link
Copy Markdown
Collaborator

Thanks for the PR! This looks like a neat featue. Let me know when you're happy with the state of the feature, either by marking the PR as non-draft or by saying so here :)

@jyoo980

jyoo980 commented Aug 25, 2026

Copy link
Copy Markdown
Contributor Author

Thanks @joneugster. I want to be pretty careful and audit the code, since I did use an AI agent to help with the feature. Once that's done, I will mark it as ready for review.

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.

Feature Request: Vim Motions

2 participants