wxMaxima: перекрывающаяся печать

Я использую wxMaxima 16.12.0 (Maxima 5.39.0), и когда я пытаюсь распечатать вывод, я получаю перекрывающийся текст.

Вот пример (пожалуйста, игнорируйте тот факт, что команда не может быть правильной)

1-е изображение

перекрывающаяся печать

Иногда бывает и с print и printf (внутри блока)

Второе изображение

    printf(true, "Link ~d~%", i),
    print("+------------------------------------------------+"),

введите здесь описание изображения

3-е изображение
введите здесь описание изображения

Но вне блока

4-е изображение

введите здесь описание изображения

Это делает весь вывод совершенно нечитаемым, и моя программа сильно зависит от него. Я думаю, что на 3-м изображении проблема в том, что 2 в знаменателе вызывают «сжатие» вывода.

Как я могу это решить? Это моя проблема или Максима?

OS: Mint 18 sarah  
Kernel: x86_64 Linux 4.4.0-57-generic  
DE: Cinnamon 3.0.7

P.S. Я также заметил, что иногда повторный запуск предыдущих команд может сделать "читаемыми" следующие, но это всегда происходит случайным образом.

EDIT1: я заметил, что последние пакеты, которые я установил,

libwxbase3.0-dev 
libwxgtk3.0-dev 
libwxgtk3.0-0v5
libwxbase3.0-0v5

Может быть, это какой-то конфликт?

EDIT2: если я вырезаю команду, вывод "реорганизуется" достойным образом

введите здесь описание изображения

стали

введите здесь описание изображения


person igng    schedule 25.01.2017    source источник
comment
Я думаю, вам придется сообщить об этом в систему отслеживания ошибок wxMaxima: github.com/andrejv/wxmaxima/issues   -  person Robert Dodier    schedule 29.01.2017
comment
Срок действия Bounty истек, поэтому я сообщу об этом в систему отслеживания ошибок и обновлю этот вопрос позже.   -  person igng    schedule 03.02.2017
comment
Как ни странно, проблема решилась простым изменением настроек шрифта. (теперь я использую monospace 12)   -  person igng    schedule 15.02.2017
comment
Я также столкнулся с этой проблемой. @igng, вы хотите изменить шрифт в качестве ответа, чтобы помочь другим в будущем?   -  person BillThePlatypus    schedule 05.04.2018


Ответы (1)


По запросу BillThePlatypus я отвечу, чтобы у всех было быстрое решение.

В моем случае просто изменение шрифта решило проблему (т. е. больше не было перекрывающихся отпечатков), так что попробуйте.

person igng    schedule 05.04.2018