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
{{ message }}
This repository has been archived by the owner on Apr 13, 2023. It is now read-only.
All of these are already available in FormattingOptions (indentMode, lineBreak), so this is a special case of “setting formatting options from the IDE” (#987). (Although it won’t be in that dialogue.)
Right, what I mean is that this needs to happen transparently w/o the user doing anything explicit to the formatter. So it's a little distinct from "configuration".
Clarification: What would I do with editor-tab-width? If I indent with tabs, it doesn’t matter – if I indent with spaces, do I use that to determine with how many spaces to indent?
It appears IDocumentExtension4.getDefaultLineDelimiter() (used by Indents, but I’m using it directly so I can tell OS default and explicit \n apart) returns whatever the document currently uses, not what the project’s resource settings specify. Is that okay?
It appears IDocumentExtension4.getDefaultLineDelimiter() (used by Indents, but I’m using it directly so I can tell OS default and explicit \n apart) returns whatever the document currently uses, not what the project’s resource settings specify. Is that okay?
—
Reply to this email directly or view it on GitHub.
@lucaswerkmeister See
com.redhat.ceylon.eclipse.util.Indents
which will give you all the things you need.The text was updated successfully, but these errors were encountered: