From bf0f8e87f2d8832f248a9235ffd7d138d2b25a85 Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Mon, 9 Jun 2014 17:05:04 +0000 Subject: [PATCH] Note on built-in TeXmacs fonts --- main/text/man-fonts.en.tm | 25 +++++++++++++++++-------- 1 file changed, 17 insertions(+), 8 deletions(-) diff --git a/main/text/man-fonts.en.tm b/main/text/man-fonts.en.tm index 144f025..5fa26c5 100644 --- a/main/text/man-fonts.en.tm +++ b/main/text/man-fonts.en.tm @@ -73,14 +73,23 @@ Each of the above properties really constitutes a on how the kind - of font which be used. If no suitable font can be found, then - setting these properties may have no effect. Whenever you apply one or more - filters, the font browser indicates which fonts match the selected - properties. It also indicates the closest match for the current font in - use. When pressing the button without selecting any particular - matching font, then the selected font properties will be inserted as - markup and used as rendering hints. In that case, the rendering - may change when selecting another global document font (for instance). + of font which be used. If no suitable font can be found on your + particular system, then setting these properties may have no effect. + Whenever you apply one or more filters, the font browser indicates which + fonts match the selected properties. It also indicates the closest match + for the current font in use. When pressing the button without + selecting any particular matching font, then the selected font properties + will be inserted as markup and used as rendering hints. In that + case, the rendering may change when selecting another global document font + (for instance). + + It should be noticed that comes with a limited number of + preinstalled fonts, such as the fonts and several + fonts prefixed by ``TeXmacs''. Documents which only use these fonts will be + rendered the same on different systems (assuming the same version of + ). When your documents contain other fonts as well, then these + fonts may be replaced by closest matches when opening your document under a + different operating system.