- From: Frank <address@hidden>
- To: TeXmacs <address@hidden>
- Subject: Fallback fonts?
- Date: Sun, 27 Oct 2019 12:00:34 +0100
Hello,
Can we setup a fallback font? There are cases that I need to insert a
unicode character which is not included in the current font but I don't
want to change global fonts.
--
Best wishes!
Yours,
- Fallback fonts?, Frank, 10/27/2019
Archive powered by MHonArc 2.6.19.