[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#25893: [PATCH] gnu: wxmaxima: Downgrade to 16.04.2.
|
From: |
Federico Beffa |
|
Subject: |
bug#25893: [PATCH] gnu: wxmaxima: Downgrade to 16.04.2. |
|
Date: |
Tue, 28 Feb 2017 20:58:23 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
Kei Kebreau <address@hidden> writes:
> Federico Beffa <address@hidden> writes:
>
>> Please see https://debbugs.gnu.org/25793
>
> Changing the font gets rid of the overlapping font issue on the most
> recent wxMaxima, but I don't know what's causing the overlapping in the
> first place. There are some other issues with the UI that I have with
> version 16.04.2 as well (namely in the Configure menu under Edit).
>
> Anyway, your downgrade patch fixes the font issue out of the box, so
> I've pushed it to master as a995251d681b3ec36be2e38fd9c1287c50609998.
Thanks.
If you are interested in digging deeper: I've noticed that if you resize
the window, the output is realigned and becomes readable.