Re: [PATCH] git-gui: remove lines starting with the comment character

From: Eric Sunshine <sunshine@sunshineco.com>
Date: Feb 3, 2021, 17:58 UTC
Message-ID: <CAPig+cQxASd8YNm+6E4XkiEoR__hAW8nrUbEkaBoJSicpq_rmA@mail.gmail.com>
In-Reply-To: <CAPig+cTQaPTNnGcd583B=xoVUR1qPb372Y_x9szROfMcA5h+tA@mail.gmail.com>

On Wed, Feb 3, 2021 at 12:48 PM Eric Sunshine <sunshine@sunshineco.com> wrote:

Show 5 quoted lines

> 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 "#".