bug#25893: [PATCH] gnu: wxmaxima: Downgrade to 16.04.2.

[Kei Kebreau]

Federico Beffa <address@hidden> writes:

> 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.

Thanks for the information. There are plenty of odd effects I'd like to
squash before updating wxmaxima again.

signature.asc
Description: PGP signature