summaryrefslogtreecommitdiff
path: root/systems/tex-extensions/clasen/margin/margin-post-web2c.ch
diff options
context:
space:
mode:
Diffstat (limited to 'systems/tex-extensions/clasen/margin/margin-post-web2c.ch')
-rw-r--r--systems/tex-extensions/clasen/margin/margin-post-web2c.ch45
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