Re: Patch to improve GUI editor on HiDPI displays

[avlas]

El divendres, 4 de maig de 2018, a les 20:52:01 EDT, Mike Miller va escriure:

  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.
  

Hi Rik and Mike,

I understand the risk and hesitation. Any final decision is fine to me, 
although my hope is for a fix being released relatively soon as it's quite 
uncomfortable working with the editor at this point.

Thanks!

...
a.