You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The current implementation of wrapping indent allows for four settings:
No indentation
Wrapped lines get the same indentation as the parents.
Wrapped lines get +1 indentation towards the parent.
Wrapped lines get +2 indentation towards the parent.
I think the first option has the disadvantage of visually obscuring given indent altogether while the other three options make manually inserted indent indistinguishable from wrapped indent. This is why I prefer a wrapping indent at a level of +1/2 indentation towards the parent.
The advantages especially show with lengthy bullet points in Markdown and with languages with notoriously long lines like Java, where it makes wrapped lines easier to tell apart from non-wrapped lines. For the purpose of this ticket I faked my preferred outcome with additional spaces:
I therefore propose that users should be able to set wrapping indent more precise, for example by setting the number of additional spaces wrapped lines get towards the parent or by providing additional options like +1/2 indent.
The text was updated successfully, but these errors were encountered:
Meanwhile I discovered that my Markdown story is even better addressed by #66961 while my Java story could be addressed by a proper solution to #47855. Therefore I'm closing this.
The current implementation of wrapping indent allows for four settings:
I think the first option has the disadvantage of visually obscuring given indent altogether while the other three options make manually inserted indent indistinguishable from wrapped indent. This is why I prefer a wrapping indent at a level of +1/2 indentation towards the parent.
The advantages especially show with lengthy bullet points in Markdown and with languages with notoriously long lines like Java, where it makes wrapped lines easier to tell apart from non-wrapped lines. For the purpose of this ticket I faked my preferred outcome with additional spaces:
I therefore propose that users should be able to set wrapping indent more precise, for example by setting the number of additional spaces wrapped lines get towards the parent or by providing additional options like +1/2 indent.
The text was updated successfully, but these errors were encountered: