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
Whitespaces after the last lexed token of a TextBlock are always assigned to the next TextBlock. Parser and PrettyPrinter do both follow this convention.
For proper re-use of indentation and comments, this should be changed so that all whitespaces on the line of the last lexed token do still belong to the current TextBlock.
The text was updated successfully, but these errors were encountered:
Whitespaces after the last lexed token of a TextBlock are always assigned to the next TextBlock. Parser and PrettyPrinter do both follow this convention.
For proper re-use of indentation and comments, this should be changed so that all whitespaces on the line of the last lexed token do still belong to the current TextBlock.
The text was updated successfully, but these errors were encountered: