diff options
Diffstat (limited to 'Build/source/texk/web2c/dvitype.ch')
-rw-r--r-- | Build/source/texk/web2c/dvitype.ch | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/dvitype.ch b/Build/source/texk/web2c/dvitype.ch index 7c0155943b1..3c750d92a67 100644 --- a/Build/source/texk/web2c/dvitype.ch +++ b/Build/source/texk/web2c/dvitype.ch @@ -488,6 +488,14 @@ endcases; if show_opcodes and (o >= 128) then print (' {', o:1, '}'); @z +@x [99] + begin define_font(first_par(k)); k:=nop; +@y + begin define_font(first_par(k)); + if out_mode<>errors_only then print_ln(' '); + k:=nop; +@z + @x [107] (main) No dialog; remove unused label. dialog; {set up all the options} @y |