On 05/05/2018 02:10 AM, address@hidden wrote:
> Subject:
> Re: Patch to improve GUI editor on HiDPI displays
> From:
> Mike Miller <address@hidden>
> Date:
> 05/04/2018 05:52 PM
> To:
> address@hidden
> List-Post:
> <mailto:address@hidden>
> Precedence:
> list
> MIME-Version:
> 1.0
> References:
> <address@hidden> <address@hidden>
> In-Reply-To:
> <address@hidden>
> Message-ID:
> <address@hidden>
> Content-Type:
> multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="T4sUOijqQbZv57TR"
> Message:
> 2
>
> On Fri, May 04, 2018 at 17:07:58 -0700, Rik wrote:
>> The minor releases are typically only for bug fixes, and this is very much
>> a feature addition. That doesn't mean we can't make an exception, but it
>> should be debated first.
> I would call this a bug fix, I think it is entirely appropriate to make
> on the stable branch for 4.4.1, and I was planning on doing so.
>
> This patch changes the default value of a Scintilla internal setting,
> that the Scintilla docs themselves say should be a reasonable default on
> any modern graphics system.
Is this a patch for bug #49053 or something different? My comments
are directed towards that bug.
--Rik
|