/** * ************************************************************************* 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); }