ddd не видит шрифт человечности, хотя gdb действительно видит его
Я использую gdb для разработки интерпретатора APL, но хотел бы использовать ddd, вместо этого. ddd, кажется, требует, чтобы его шрифты прибыли от X, а не от нормального набора шрифтов, видимых в Ubuntu. Мне установили шрифт Apl385.ttf в/usr/share/fonts/truetype/dyalog/Apl385.ttf, но ddd не показывает его на своей странице Preferences/Fonts.
Следовательно, символы APL, такие как йота (⍳) не отображаются под ddd. Так...
Существует ли способ установить truetype шрифт под X на Ubuntu 16.04LTS, так, чтобы я мог выбрать его из ddd?
Существует ли лучший графический отладчик, чем ddd доступен, который не будет иметь этой проблемы? [Мне особенно не нравится ddd, но мне нравится gdb меньше.]
Если оба из этих ответов будут нет, то я вернусь к использованию gdb.
Спасибо, Robert