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

Make indention in Dart-Editor configurable #8911

Closed
DartBot opened this issue Mar 4, 2013 · 2 comments
Closed

Make indention in Dart-Editor configurable #8911

DartBot opened this issue Mar 4, 2013 · 2 comments
Labels
closed-duplicate Closed in favor of an existing report type-enhancement A request for a change that isn't a bug
Milestone

Comments

@DartBot
Copy link

DartBot commented Mar 4, 2013

This issue was originally filed by off...@mikemitterer.at


Please add an option to change the 2-character indention in the editor

  • add autoformat on save.

The "two characters indention" is very annoying. Most programmers have at least one 22" monitor. So there is no need to save space. 4-chars indention is much nicer to read.

@sethladd
Copy link
Contributor

sethladd commented Mar 4, 2013

Removed Type-Defect label.
Added Type-Enhancement, Area-Editor, Triaged labels.

@clayberg
Copy link

Added this to the M4 milestone.
Added Duplicate label.
Marked as being merged into #534.

@DartBot DartBot added Type-Enhancement closed-duplicate Closed in favor of an existing report labels Mar 13, 2013
@DartBot DartBot added this to the M4 milestone Mar 13, 2013
@kevmoo kevmoo added type-enhancement A request for a change that isn't a bug and removed type-enhancement labels Mar 1, 2016
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
closed-duplicate Closed in favor of an existing report type-enhancement A request for a change that isn't a bug
Projects
None yet
Development

No branches or pull requests

4 participants