</span></pre></dt>
<dd>

sets the font point size

</dd>
<a id="getHeight,Font"></a>
<dt><pre><span class="Keyword">proc</span> <a href="#getHeight%2CFont"><span class="Identifier">getHeight</span></a><span class="Other">(</span><span class="Identifier">font</span><span class="Other">:</span> <a href="suffer.html#Font"><span class="Identifier">Font</span></a><span class="Other">)</span><span class="Other">:</span> <span class="Identifier">int</span> <span><span class="Other">{</span><span class="Other pragm