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

indention after 'interface class ... endclass' is one level too deep #1047

Open
veripoolbot opened this issue Mar 17, 2016 · 2 comments
Open

indention after 'interface class ... endclass' is one level too deep #1047

veripoolbot opened this issue Mar 17, 2016 · 2 comments
Labels

Comments

@veripoolbot
Copy link
Collaborator

@veripoolbot veripoolbot commented Mar 17, 2016


Author Name: Alex Reed
Original Redmine Issue: 1047 from https://www.veripool.org


interface class ic;
...
endclass
// this should indent to left margin, but indents one stop to right

@veripoolbot

This comment has been minimized.

Copy link
Collaborator Author

@veripoolbot veripoolbot commented Mar 17, 2016


Original Redmine Comment
Author Name: Alex Reed
Original Date: 2016-03-17T17:05:50Z


interface class ic;
  ...
endclass
  // this should indent to left margin, but indents one stop to right

@veripoolbot

This comment has been minimized.

Copy link
Collaborator Author

@veripoolbot veripoolbot commented Nov 19, 2017


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2017-11-19T13:32:22Z


Still a problem, perhaps someone would like to contribute a patch?

@veripoolbot veripoolbot added the indents label Mar 14, 2020
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.

None yet
1 participant
You can’t perform that action at this time.