diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-01-14 08:39:55 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-01-14 08:39:55 +0000 |
commit | 51f86fe156c11e441cc74238dc38b99f9576d1a9 (patch) | |
tree | 0e7315ee97e113a95c2f7fe8d78a7cb233cadec5 /Build/source | |
parent | d7f1c0543409f6fca45c7c8371f233fa609c9cc3 (diff) |
texk/web2c: Cosmetic changes for DVItype
git-svn-id: svn://tug.org/texlive/trunk@36053 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 2 | ||||
-rw-r--r-- | Build/source/texk/web2c/dvitype.ch | 16 |
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 |