On Wed, Feb 3, 2021 at 12:48 PM Eric Sunshine <sunshine@xxxxxxxxxxxxxx> wrote:
> So, perhaps one way forward is for Pratyush to emulate that behavior
> and insert some text into the edit box saying "lines beginning with
> '#' will be ignored", or add a label above or below the edit box
> stating the same. (Of course, the actual displayed comment-character
> should be determined dynamically.)
Even more fancy would be to add a checkbox below the edit field which
both enables/disables the "stripspace" behavior and allows the user to
specify the comment-character. For instance:
[x] ignore lines beginning with [#]
where [x] is the checkbox and [#] is a text field in which the user
can type the comment-character.
For convenience, the checkbox would be checked by default, and the
comment-character would default to the user's configured
comment-character or "#".
