Skip to content
THgithub19 edited this page Oct 31, 2022 · 2 revisions

Troubleshooting

Improving font rendering on Linux

On Linux if the fonts aren't rendering well, as advised in an SE thread the following line can be added to the .bashrc file to potentially improve rendering:

export _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=on'

Change menu font ("controlFont") on Linux

In settings choose "Metal" look and feel, then restart with a line like the following in .bashrc:

export _JAVA_OPTIONS='-Dswing.plaf.metal.controlFont="Liberation Sans 16"'

This works well, too, with fonts such as Roboto, Noto or Cabin, but not so good with the Ubuntu system font Ubuntu (Zettelkasten 3.2022.8 on Ubuntu 22.04 with OpenJDK 11). It does not work with the other LaFs.