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

FEATURE: add some real configuration to the helix text editor and IDE #27

Merged
merged 11 commits into from
Dec 14, 2022

Conversation

amtoine
Copy link
Owner

@amtoine amtoine commented Nov 20, 2022

This PR adds some real configuration to helix, a vim-inspired text editor and minimal IDE

I let this PR a draft for the time being and will request a review from you @atxr as soon as

are closed 😋

changes

  • add a real config to helix
  • add basic highlighting support for the oberon language with pascal as a proxy 'cause the languages are quite similar
  • make helix the default editor in place of vim

the previous point might be controversial 🤔
if you do not want to apply such a change, i can move this to a personal branch and we'll think about how we handle personal configuration later 😌

@amtoine amtoine self-assigned this Nov 20, 2022
@amtoine amtoine added the needs-triage An issue or PR without label label Nov 26, 2022
@amtoine amtoine marked this pull request as ready for review December 14, 2022 16:29
@amtoine amtoine added enhancement New feature or request and removed needs-triage An issue or PR without label labels Dec 14, 2022
@amtoine amtoine merged commit b28bb63 into main Dec 14, 2022
@amtoine amtoine deleted the feature/configure-helix branch December 14, 2022 16:33
amtoine added a commit that referenced this pull request Dec 15, 2022
New files have been introduced in #26, #27 and #30.
amtoine added a commit that referenced this pull request Dec 15, 2022
New files have been introduced in #26, #27 and #30.
amtoine added a commit that referenced this pull request Dec 15, 2022
New files have been introduced in #26, #27 and #30.
amtoine added a commit that referenced this pull request Dec 15, 2022
New files have been introduced in #26, #27 and #30.
amtoine added a commit that referenced this pull request Dec 17, 2022
New files have been introduced in #26, #27 and #30.
amtoine added a commit that referenced this pull request Dec 17, 2022
New files have been introduced in #26, #27 and #30.
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant