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.

Sign up for GitHub

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

Jump to bottom

Autoindent #31

Open
Aldrog opened this issue Apr 18, 2017 · 0 comments
Open

Autoindent #31

Aldrog opened this issue Apr 18, 2017 · 0 comments
Assignees
@Aldrog
Milestone
1.0

Comments

@Aldrog
Copy link
Member

Aldrog commented Apr 18, 2017

Add optional autoindenting.
@Aldrog Aldrog added the feature label Apr 18, 2017
@Aldrog Aldrog added this to the v0.3 milestone Apr 18, 2017
@Aldrog Aldrog self-assigned this Apr 18, 2017
@Aldrog Aldrog mentioned this issue Apr 18, 2017
Open
6 tasks
@plfiorini plfiorini removed the feature label Oct 13, 2018
@plfiorini plfiorini modified the milestones: 0.5.0, 0.6.0 Apr 24, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Aldrog Aldrog

Labels
None yet
Projects
None yet
Milestone
1.0
Development

No branches or pull requests
2 participants
@plfiorini @Aldrog