summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/ChangeLog2
-rw-r--r--Build/source/texk/web2c/dvitype.ch16
2 files changed, 14 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog
index 4324676da89..c3be77464eb 100644
--- a/Build/source/texk/web2c/ChangeLog
+++ b/Build/source/texk/web2c/ChangeLog
@@ -2,6 +2,8 @@
* mf.ch: Revert the previous change (^Z is again invalid).
+ * dvitype.ch: Cosmetic changes.
+
2015-01-13 Peter Breitenlohner <peb@mppmu.mpg.de>
* mf.ch: Ignore ^Z in input files (as tab and form_feed).
diff --git a/Build/source/texk/web2c/dvitype.ch b/Build/source/texk/web2c/dvitype.ch
index 813fa9b94a7..f20564b7b74 100644
--- a/Build/source/texk/web2c/dvitype.ch
+++ b/Build/source/texk/web2c/dvitype.ch
@@ -60,7 +60,10 @@ procedure initialize; {this procedure gets things started properly}
print_ln (version_string);
@z
-@x [5] Allow more fonts, more widths, no arbitrary filename length.
+% There were no complaints that these values are too small, and adjusting
+% them dynamically requires to resize a large number of arrays and is not
+% worth the effort (if necessary one can recompile with larger values).
+@x [5] Allow more fonts, more widths, no arbitrary filename length. No dialog.
@!max_fonts=100; {maximum number of distinct fonts per \.{DVI} file}
@!max_widths=10000; {maximum number of different characters among all fonts}
@y
@@ -68,6 +71,11 @@ procedure initialize; {this procedure gets things started properly}
@!max_widths=25000; {maximum number of different characters among all fonts}
@z
@x
+@!terminal_line_length=150; {maximum number of characters input in a single
+ line of input from the terminal}
+@y
+@z
+@x
@!name_size=1000; {total length of all font file names}
@!name_length=50; {a file name shouldn't be longer than this}
@y
@@ -493,7 +501,7 @@ endcases;
if show_opcodes and (o >= 128) then print (' {', o:1, '}');
@z
-@x [106] (main) No dialog; remove unused label.
+@x [107] (main) No dialog; remove unused label.
dialog; {set up all the options}
@y
@<Print all the selected options@>;
@@ -505,7 +513,7 @@ final_end:end.
end.
@z
-@x [109] Fix another floating point print.
+@x [110] Fix another floating point print.
print_ln('magnification=',mag:1,'; ',conv:16:8,' pixels per DVI unit')
@y
print ('magnification=', mag:1, '; ');
@@ -513,7 +521,7 @@ print_real (conv, 16, 8);
print_ln (' pixels per DVI unit')
@z
-@x [111] System-dependent changes.
+@x [112] System-dependent changes.
This section should be replaced, if necessary, by changes to the program
that are necessary to make \.{DVItype} work at a particular installation.
It is usually best to design your change file so that all changes to