if (getShowMarkAll()) { refreshMarkers();
if (getShowMarkAll() /*&& textArea.getMarkAll()*/) { Color markAllColor = textArea.getMarkAllHighlightColor(); List<DocumentRange> ranges = textArea.getMarkAllHighlightRanges();
if (getShowMarkAll()) { refreshMarkers();
if (getShowMarkAll() /*&& textArea.getMarkAll()*/) { Color markAllColor = textArea.getMarkAllHighlightColor(); List<DocumentRange> ranges = textArea.getMarkAllHighlightRanges();