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

Formatter indents comments too much #2025

Closed
lwrage opened this issue Oct 15, 2019 · 1 comment · Fixed by #2033
Closed

Formatter indents comments too much #2025

lwrage opened this issue Oct 15, 2019 · 1 comment · Fixed by #2033

Comments

@lwrage
Copy link
Contributor

@lwrage lwrage commented Oct 15, 2019

For example:

package P
public

        -- comment
    system S
    end S;

end P;
@joeseibel
Copy link
Contributor

@joeseibel joeseibel commented Oct 15, 2019

Should also override createCommentReplacer.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

2 participants