81 |
} |
} |
82 |
|
|
83 |
if(drawBorder) { |
if(drawBorder) { |
84 |
g.setColor(info1.getMixedFgColor()); |
if (borderColor == null) g.setColor(info1.getMixedFgColor()); |
85 |
|
else g.setColor(borderColor); |
86 |
g.drawRect(mx, my, mw-1, mh-1); |
g.drawRect(mx, my, mw-1, mh-1); |
87 |
if(mh >= 14) { |
if(mh >= 14) { |
88 |
g.drawRect(mx+1, my+1, mw-3, mh-3); |
g.drawRect(mx+1, my+1, mw-3, mh-3); |
128 |
|
|
129 |
protected String glBorderString() { |
protected String glBorderString() { |
130 |
String glString = ""; |
String glString = ""; |
131 |
|
String glBorderColorString = "0 0 0"; |
132 |
|
if (borderColor != null) |
133 |
|
glBorderColorString = ColorUtil.colorGLString(borderColor); |
134 |
glString += ( |
glString += ( |
135 |
"Color 0 0 0 1\n"+ |
"Color "+glBorderColorString+" 1\n"+ |
136 |
"Begin LINE_STRIP\n"+ |
"Begin LINE_STRIP\n"+ |
137 |
"Vertex 1 1\n"+ |
"Vertex 1 1\n"+ |
138 |
"Vertex 1 0\n"+ |
"Vertex 1 0\n"+ |