if (getShowMarkedOccurrences()) { refreshMarkers(); if (getShowMarkedOccurrences()) { refreshMarkers();
if (getShowMarkedOccurrences() && textArea.getMarkOccurrences()) { List<DocumentRange> occurrences = textArea.getMarkedOccurrences(); addMarkersForRanges(occurrences, markerMap, textArea.getMarkOccurrencesColor());
public void propertyChange(PropertyChangeEvent e) { String propName = e.getPropertyName(); // If they change whether marked occurrences are visible in editor if (RSyntaxTextArea.MARK_OCCURRENCES_PROPERTY.equals(propName)) { if (getShowMarkedOccurrences()) { refreshMarkers(); } } // If parser notices changed. else if (RSyntaxTextArea.PARSER_NOTICES_PROPERTY.equals(propName)) { refreshMarkers(); } // If marked occurrences changed. else if (RSyntaxTextArea.MARKED_OCCURRENCES_CHANGED_PROPERTY. equals(propName)) { if (getShowMarkedOccurrences()) { refreshMarkers(); } } }
if (getShowMarkedOccurrences()) { refreshMarkers(); if (getShowMarkedOccurrences()) { refreshMarkers();
if (getShowMarkedOccurrences() && textArea.getMarkOccurrences()) { List occurrences = textArea.getMarkedOccurrences(); for (Iterator i=occurrences.iterator(); i.hasNext(); ) {
if (getShowMarkedOccurrences() && textArea.getMarkOccurrences()) { List<DocumentRange> occurrences = textArea.getMarkedOccurrences(); addMarkersForRanges(occurrences, markerMap, textArea.getMarkOccurrencesColor());