public void highlightSearchResults(int [] results)\r
{\r
// results are in the order sequence, startRes, endRes\r
+ if(results==null)\r
+ displaySearch = false;\r
+ else\r
+ displaySearch = true;\r
+\r
searchResults = results;\r
- displaySearch = true;\r
+\r
paintFlag = true;\r
repaint();\r
}\r