168 |
|
|
169 |
private JTextComponent textComponent; |
private JTextComponent textComponent; |
170 |
private Vector highlights = new Vector(); |
private Vector highlights = new Vector(); |
171 |
|
private boolean drawsLayeredHighlights = true; |
172 |
|
|
173 |
public DefaultHighlighter() |
public DefaultHighlighter() |
174 |
{ |
{ |
175 |
} |
} |
176 |
|
|
177 |
|
public boolean getDrawsLayeredHighlights() |
178 |
|
{ |
179 |
|
return drawsLayeredHighlights; |
180 |
|
} |
181 |
|
|
182 |
|
public void setDrawsLayeredHighlights(boolean newValue) |
183 |
|
{ |
184 |
|
drawsLayeredHighlights = newValue; |
185 |
|
} |
186 |
|
|
187 |
private void checkPositions(int p0, int p1) |
private void checkPositions(int p0, int p1) |
188 |
throws BadLocationException |
throws BadLocationException |
189 |
{ |
{ |