Re: Patch to improve GUI editor on HiDPI displays

[Rik]

On 05/04/2018 03:25 PM, address@hidden wrote:

Subject:

Re: Patch to improve GUI editor on HiDPI displays

From:

avlas <address@hidden>

Date:

05/04/2018 03:25 PM

To:

address@hidden

CC:

Mike Miller <address@hidden>

List-Post:

<mailto:address@hidden>

Content-Transfer-Encoding:

7Bit

Precedence:

list

MIME-Version:

1.0

References:

<address@hidden> <address@hidden> <address@hidden>

In-Reply-To:

<address@hidden>

Message-ID:

<address@hidden>

Content-Type:

text/plain; charset="us-ascii"

Message:

4

El divendres, 4 de maig de 2018, a les 13:10:40 EDT, Mike Miller va escriure:

  On Thu, May 03, 2018 at 10:21:12 -0700, mmuetzel wrote:
  > I cross-compiled with and without your patch, set the screen scaling to 125%,
  > re-booted and opened Octave showing the editor. I  didn't notice any
  > difference (see attached screen shots).
  
  Thank you, very much appreciated.
  
  
Hey Mike,

Can we hope this patch to be part of an eventual Octave 4.4.1?

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.

--Rik