summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/omegafonts/font_routines.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/omegafonts/font_routines.c')
-rw-r--r--Build/source/texk/web2c/omegafonts/font_routines.c10
1 files changed, 9 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/omegafonts/font_routines.c b/Build/source/texk/web2c/omegafonts/font_routines.c
index c8557bd0a67..a7966590b28 100644
--- a/Build/source/texk/web2c/omegafonts/font_routines.c
+++ b/Build/source/texk/web2c/omegafonts/font_routines.c
@@ -446,7 +446,15 @@ get_hex(unsigned char c)
void
set_select_font(unsigned f)
{
- append_command_2(DVI_FNT_NUM_0, DVI_FNT_NUM_63, DVI_FNT_1, f);
+ unsigned i;
+
+ for (i = 0; i < no_fonts; i++)
+ if (f == font_table[i].font_number) {
+ append_command_2(DVI_FNT_NUM_0, DVI_FNT_NUM_63, DVI_FNT_1, i);
+ return;
+ }
+
+ internal_error_1("undefined MAPFONT %d cannot be selected", f);
}
void