[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano i
From: |
Benno Schulenberg |
Subject: |
Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano is in linting mode |
Date: |
Sun, 21 Oct 2018 17:20:33 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.2.1 |
Op 18-10-18 om 22:12 schreef Marco Diego Aurélio Mesquita:
> On Wed, Oct 17, 2018 at 08:36:27PM +0200, Benno Schulenberg wrote:
>> This is a first step to address https://savannah.gnu.org/bugs/?54714.
>
> I'm against. I use the linter feature as a source code navigator and
> having it explicitely saying "linter" would make it confusing to use.
Using the linter for something else than linting... you get to live
with the "inconvenient" header line.
But... you can mitigate the nuisance through a PO file. Edit the
PO file for your language and change the translation of "Linting --"
to something like "-->". As long as the msgstr isn't entirely empty,
gettext will use it as the translation.
Benno
signature.asc
Description: OpenPGP digital signature
- [Nano-devel] [PATCH 2/2] display: use a different color when showing a linting message, (continued)
- [Nano-devel] [PATCH 2/2] display: use a different color when showing a linting message, Benno Schulenberg, 2018/10/17
- Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano is in linting mode, Brand Huntsman, 2018/10/18
- Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano is in linting mode, Benno Schulenberg, 2018/10/21
- Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano is in linting mode, Brand Huntsman, 2018/10/21
- Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano is in linting mode, Benno Schulenberg, 2018/10/22
- Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano is in linting mode, Brand Huntsman, 2018/10/22
- Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano is in linting mode, Benno Schulenberg, 2018/10/23
- Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano is in linting mode, Brand Huntsman, 2018/10/23
Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano is in linting mode, Marco Diego Aurélio Mesquita, 2018/10/18
Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano is in linting mode, David Ramsey, 2018/10/23
Re: [Nano-devel] [PATCH 1/2] display: let the title bar show when nano is in linting mode, David Ramsey, 2018/10/23