|
From: | Sebastian Schöps |
Subject: | Re: Patch to improve GUI editor on HiDPI displays |
Date: | Sun, 6 May 2018 01:26:08 -0700 (MST) |
Rik-4 wrote > Is this a patch for bug #49053 or something different? My comments are > directed towards that bug. It's something different. Mike's patch is about a Linux-specific issue of the editor on HiDPI systems. The patch does not affect the other systems. Bug #49053 is about plotting (and is fixed for me by the recent patch of John Swensen; sadly a bit too late for 4.4). Bye Sebastian -- Sent from: http://octave.1599824.n4.nabble.com/Octave-Maintainers-f1638794.html
[Prev in Thread] | Current Thread | [Next in Thread] |