[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: multiple scaling suffices with \installfont



Your problems are most likely casued by a bug in \get_file_name, whose
current definition is

  \def\get_file_name #1~scaled~#2~#3;{
     \edef\file_name{#1}
     \ifnum#2=\one_thousand
        \unsetint{rawscale}
     \else
        \setint{rawscale}{#2}
     \fi
  }

The \setint should really be a \resetint. I have intended to fix this in
the new version I am working on, but I haven't gotten round to it yet.

Lars Hellström