/**
* ************************************************************************* Search for a string
* in the code ************************************************************************
*/
public int searchString(String toSearch) {
clearMatches();
int count = m_search.searchString(toSearch);
if (count > 0) {
showMatches(m_search.getMatches());
}
return count;
}
/**
* ************************************************************************* Show next occurrence
* ************************************************************************
*/
public boolean hasMatches() {
return (m_search.getMatches() != null) && (m_search.getMatches().length > 0);
}
