mailing-list for TeXmacs Users

[Mirko Vukovic <address@hidden>]

Hello,

after a considerable pause of a few months I fired up TeXmacs.  TeXmacs opened up with large icons and the font is pixelated.

The first time I was able to fix it by going to View->High Resolution Settings. (I restarted TeXmacs).

Now it is happening again, and the same recipe is not working.  I go, click to either reset or OK, and restart TeXmacs, but there is no change in the appearance.

Is there some other way, such as in a customization file?  I did not look at them, as I am not familiar with them.

Thanks,

Mirko