[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#25893: [PATCH] gnu: wxmaxima: Downgrade to 16.04.2.
|
From: |
Kei Kebreau |
|
Subject: |
bug#25893: [PATCH] gnu: wxmaxima: Downgrade to 16.04.2. |
|
Date: |
Tue, 28 Feb 2017 11:48:13 -0500 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
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.
signature.asc
Description: PGP signature