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: make filetypes configurable by user #25

Closed
wants to merge 1 commit into from
Closed

feat: make filetypes configurable by user #25

wants to merge 1 commit into from

Conversation

airtonix
Copy link

@airtonix airtonix commented Jan 15, 2024

fixes #11 (and any future tickets like it)

this change removes the hardcoded filetypes from the config and replaces it with user controlled configuration allowing the user to control what filetypes the extension will provide margin colors for.

image

image

@airtonix airtonix closed this by deleting the head repository Jul 2, 2024
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.

do you plan to support dart language?
1 participant