GUI, Editor: Use fallback font for unknown glyphs

BaseXdb / basex

BaseX Main Repository.

http://basex.org

BSD 3-Clause "New" or "Revised" License

695 stars 264 forks source link

GUI, Editor: Use fallback font for unknown glyphs #2207

Closed ChristianGruen closed 1 year ago

ChristianGruen commented 1 year ago

If a different font than Monospaced, Serif or SansSerif is used, glyphs that are not defined in a font should be replaced with glyphs from a fallback font.