public void highlightSearchResults(SearchResultsI results)
{
updateViewport();
+
+ /*
+ * for now, don't attempt fastpaint if wrapped format
+ */
+ if (av.getWrapAlignment())
+ {
+ av.setSearchResults(results);
+ repaint();
+ return;
+ }
+
fastpainting = true;
fastPaint = true;