diff options
| author | Hans Hagen <pragma@wxs.nl> | 2013-05-16 23:48:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2013-05-16 23:48:00 +0200 |
| commit | fdf6650bc19c97b288d2a85e3419064608544594 (patch) | |
| tree | 38c11ff7fcd709b86357da0f1402cac6b45ed6df /tex/context/base/font-ini.mkvi | |
| parent | c723f8ca6ac655971aae18ab9142697fa57a897a (diff) | |
| download | context-fdf6650bc19c97b288d2a85e3419064608544594.tar.gz | |
beta 2013.05.16 23:48
Diffstat (limited to 'tex/context/base/font-ini.mkvi')
| -rw-r--r-- | tex/context/base/font-ini.mkvi | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tex/context/base/font-ini.mkvi b/tex/context/base/font-ini.mkvi index 63b7863c8..5f7aaa92f 100644 --- a/tex/context/base/font-ini.mkvi +++ b/tex/context/base/font-ini.mkvi @@ -2297,4 +2297,18 @@ \unexpanded\def\font_basics_predefined#1% {\font_basics_predefine{\??predefinedfont#1}{#1}} +%D Handy helper: + +\unexpanded\def\savedefinedfont[#1]% + {\bgroup + \definedfont[#1]% + \xdef\saveddefinedfontid {\number\fontid\font}% + \xdef\saveddefinedfontname{\fontname\font}% + \egroup} + +\def\saveddefinedfontid {\number\fontid\font} +\def\saveddefinedfontname{\fontname\font} + + + \protect \endinput |