div class="block">Reinitialises the processing resource.</div>
</dd>
<dt><span class="strong"><a href="./gate/gui/SearchPRViewer.FloatRenderer.html#repaint(long, int, int, int, int)">repaint(long, int, int, int, int)</a></span> - Method in class gate.gui.<a href="./gate/gui/SearchPRViewer.FloatRenderer.html" title="class in gate.gui">SearchPRViewer.FloatRenderer</a></dt>
<dd>
<div class="block">Overridden for performance reasons.</div>
</dd>
<dt><span class="strong"><a href="./gate/gui/SearchPRViewer.FloatR