831 |
{ |
{ |
832 |
Caret caret = textComponent.getCaret(); |
Caret caret = textComponent.getCaret(); |
833 |
Highlighter highlighter = textComponent.getHighlighter(); |
Highlighter highlighter = textComponent.getHighlighter(); |
834 |
|
|
835 |
if (textComponent.isOpaque()) |
if (textComponent.isOpaque()) |
836 |
paintBackground(g); |
paintBackground(g); |
837 |
|
|
838 |
if (highlighter != null |
if (highlighter != null |
839 |
&& textComponent.getSelectionStart() != textComponent.getSelectionEnd()) |
&& textComponent.getSelectionStart() != textComponent.getSelectionEnd()) |
840 |
highlighter.paint(g); |
highlighter.paint(g); |
1064 |
|
|
1065 |
Insets insets = textComponent.getInsets(); |
Insets insets = textComponent.getInsets(); |
1066 |
return new Rectangle(insets.left, insets.top, |
return new Rectangle(insets.left, insets.top, |
1067 |
width - insets.left + insets.right, |
width - insets.left - insets.right, |
1068 |
height - insets.top + insets.bottom); |
height - insets.top - insets.bottom); |
1069 |
} |
} |
1070 |
|
|
1071 |
/** |
/** |