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

Gruvbox theme #402

Merged
merged 4 commits into from
Nov 10, 2022
Merged

Gruvbox theme #402

merged 4 commits into from
Nov 10, 2022

Conversation

su55y
Copy link
Contributor

@su55y su55y commented Nov 10, 2022

I am creating this PR because I need this theme. Also since I got attention, I'll use this opportunity as a feature request or just question. How can I enable vim keyMap? Didn't find it in the extensions. I suspect it's possible, it's just not obvious.

su55y added 4 commits November 9, 2022 19:49

Verified

This commit was signed with the committer’s verified signature.
Byron Sebastian Thiel

Verified

This commit was signed with the committer’s verified signature.
Byron Sebastian Thiel

Verified

This commit was signed with the committer’s verified signature.
Byron Sebastian Thiel

Verified

This commit was signed with the committer’s verified signature.
Byron Sebastian Thiel
@jaywcjlove
Copy link
Member

@su55y vim mode?

@jaywcjlove jaywcjlove merged commit 058a8ac into uiwjs:master Nov 10, 2022
github-actions bot pushed a commit that referenced this pull request Nov 10, 2022
* theme src

* theme package.json

* theme tsconfig.json

* theme readme 058a8ac
@su55y
Copy link
Contributor Author

su55y commented Nov 10, 2022

@jaywcjlove thanks, it works great, sorry for your time and stupid way to ask the question.

jaywcjlove added a commit that referenced this pull request Nov 10, 2022
jaywcjlove added a commit that referenced this pull request Nov 10, 2022
jaywcjlove added a commit that referenced this pull request Nov 10, 2022
github-actions bot pushed a commit that referenced this pull request Nov 10, 2022
jaywcjlove added a commit that referenced this pull request Nov 10, 2022
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.

None yet

2 participants