Wednesday, November 29, 2017

Re: STYLE: whitespace at end of input line

> 3. If you think the trailing blanks really matter for users
> and commonly occur in practice, change the tool itself to
> write a dedicated character at line ends to show where the
> end of each line is. Of course, that would be a user interface
> change for the tool.

Right, they don't need to be blanks.

Thank you,

Jan

No comments:

Post a Comment