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

Jump to bottom

Update: give a node at least the indentation of its parent (fixes #9995) #10054

Merged
merged 1 commit into from Mar 6, 2018
Merged

Update: give a node at least the indentation of its parent (fixes #9995) #10054

merged 1 commit into from Mar 6, 2018

Commits on Mar 3, 2018

  1. Update: give a node at least the indentation of its parent (fixes #9995) 

    This updates the `indent` rule to ensure that the tokens in a non-ignored node are always indented at least as much as the first token of the node. This fixes an issue where some tokens would not have enough indentation if their node's listener did not explicitly give them an offset.
    @not-an-aardvark
    not-an-aardvark committed Mar 3, 2018
    Copy the full SHA
    27d7e54 View commit details
    Browse the repository at this point in the history