> You have to load these fonts manually in the preamble.

And /how/ must this be done?

> The list of GUI- supported fonts is currently hardcoded.

Ouch. Just like the list of colors. X-(

Reply via email to