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

dtrt-indent-set #82

Closed
ramnes opened this issue Jun 14, 2024 · 1 comment · Fixed by #84
Closed

dtrt-indent-set #82

ramnes opened this issue Jun 14, 2024 · 1 comment · Fixed by #84

Comments

@ramnes
Copy link
Contributor

ramnes commented Jun 14, 2024

Hey there, thanks for the great mode!

I'm always wondering what command I need to type to change the indentation offset with the mode I'm on. What would you think of adding a dtrt-indent-set command that would prompt for an indentation offset, and work with all modes supported by dtrt-indent-set in the first place – thus acting as a central command for indentation?

@rrthomas
Copy link
Collaborator

I would certainly accept a PR for such a function, which I guess would use dtrt-indent-hook-mapping-list to find the variable to set for the current mode.

ramnes added a commit to ramnes/dtrt-indent that referenced this issue Jun 15, 2024
ramnes added a commit to ramnes/dtrt-indent that referenced this issue Jun 15, 2024
ramnes added a commit to ramnes/dtrt-indent that referenced this issue Jun 23, 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 a pull request may close this issue.

2 participants