51 |
{ |
{ |
52 |
Color selectedColor; |
Color selectedColor; |
53 |
Color unselectedColor; |
Color unselectedColor; |
54 |
|
|
55 |
|
/** |
56 |
|
* The color that is used to draw disabled text fields. |
57 |
|
*/ |
58 |
|
Color disabledColor; |
59 |
|
|
60 |
Font font; |
Font font; |
61 |
|
|
62 |
protected FontMetrics metrics; |
protected FontMetrics metrics; |
151 |
protected int drawUnselectedText(Graphics g, int x, int y, int p0, int p1) |
protected int drawUnselectedText(Graphics g, int x, int y, int p0, int p1) |
152 |
throws BadLocationException |
throws BadLocationException |
153 |
{ |
{ |
154 |
g.setColor(unselectedColor); |
JTextComponent textComponent = (JTextComponent) getContainer(); |
155 |
|
if (textComponent.isEnabled()) |
156 |
|
g.setColor(unselectedColor); |
157 |
|
else |
158 |
|
g.setColor(disabledColor); |
159 |
|
|
160 |
Segment segment = new Segment(); |
Segment segment = new Segment(); |
161 |
getDocument().getText(p0, p1 - p0, segment); |
getDocument().getText(p0, p1 - p0, segment); |
162 |
return Utilities.drawTabbedText(segment, x, y, g, this, segment.offset); |
return Utilities.drawTabbedText(segment, x, y, g, this, segment.offset); |
172 |
g.setFont(textComponent.getFont()); |
g.setFont(textComponent.getFont()); |
173 |
selectedColor = textComponent.getSelectedTextColor(); |
selectedColor = textComponent.getSelectedTextColor(); |
174 |
unselectedColor = textComponent.getForeground(); |
unselectedColor = textComponent.getForeground(); |
175 |
|
disabledColor = textComponent.getDisabledTextColor(); |
176 |
|
|
177 |
Rectangle rect = s.getBounds(); |
Rectangle rect = s.getBounds(); |
178 |
|
|
179 |
// FIXME: Text may be scrolled. |
// FIXME: Text may be scrolled. |