|
From: | Philip Nienhuis |
Subject: | Re: Windows GUI startup message truncated |
Date: | Wed, 6 Dec 2017 00:15:33 +0100 |
User-agent: | Mozilla/5.0 (Windows NT 6.1; WOW64; rv:51.0) Gecko/20100101 Firefox/51.0 SeaMonkey/2.48 |
Torsten wrote:
On 04.12.2017 15:38, PhilipNienhuis wrote:I have pushed changeset http://hg.savannah.gnu.org/hgweb/octave/rev/222addbadf46 which fixes the issue on my Win7 system.Unfortunately the cset doesn't fix the issue on either one of my development boxes.Philipp, do you mean the truncation at startup or when changing the terminal fonts (or both)?
Truncation at startup.What I see now is that font size doesn't make any difference, the startup message is consistently truncated to 13 char width (before your fix it was 14 characters).
It looks like once he terminal font size is big enough to reach beyond the right limit of the terminal, even with just a period, the truncation is over. Decreasing font size again so that the startup message fits within the screen limits and the truncation is back at 13 chars.
Enigmatic... Philip
[Prev in Thread] | Current Thread | [Next in Thread] |