lineno">  347</span>&#160;    scale = min(wscale, hscale);</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;      <span class="keywordflow">else</span></div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    scale = linewidth;</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;      end</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;      newlines = LocalScale(oldlines, scale,