if (start == end) {
start = 0;
end = pane.getText().length();
}
HighlightsContainer bh = HighlightingManager.getInstance(pane).getBottomHighlights();
//HighlightsContainer th = HighlightingManager.getInstance(pane).getTopHighlights();
HighlightsSequence bhs = bh.getHighlights(start, end);
//HighlightsSequence ths = th.getHighlights(start, end);
final FontColorSettings fcs = MimeLookup.getLookup(
MimePath.get(pane.getContentType())).lookup(FontColorSettings.class);