diff options
Diffstat (limited to 'systems/tex-extensions/clasen/margin/margin-post-web2c.ch')
-rw-r--r-- | systems/tex-extensions/clasen/margin/margin-post-web2c.ch | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/systems/tex-extensions/clasen/margin/margin-post-web2c.ch b/systems/tex-extensions/clasen/margin/margin-post-web2c.ch new file mode 100644 index 0000000000..2329dae6fb --- /dev/null +++ b/systems/tex-extensions/clasen/margin/margin-post-web2c.ch @@ -0,0 +1,45 @@ +@x +@!margin_char:array[internal_font_number] of integer; +@y +@!margin_char:^integer; +@z + +@x +margin_char[null_font]:=-1; +@y +@z + +@x +dump_things(skew_char[null_font], font_ptr+1-null_font); +@y +dump_things(skew_char[null_font], font_ptr+1-null_font); +dump_things(margin_char[null_font], font_ptr+1-null_font); +@z + +@x +xmalloc_array(skew_char, font_max); +@y +xmalloc_array(skew_char, font_max); +xmalloc_array(margin_char, font_max); +@z + +@x +undump_things(skew_char[null_font], font_ptr+1-null_font); +@y +undump_things(skew_char[null_font], font_ptr+1-null_font); +undump_things(margin_char[null_font], font_ptr+1-null_font); +@z + +@x + xmalloc_array(skew_char, font_max); +@y + xmalloc_array(skew_char, font_max); + xmalloc_array(margin_char, font_max); +@z + +@x + hyphen_char[null_font]:="-"; skew_char[null_font]:=-1; +@y + hyphen_char[null_font]:="-"; skew_char[null_font]:=-1; + margin_char[null_font]:=-1; +@z
\ No newline at end of file |