blob: 8abd344b235a51f959c46172418f9f242c6435f0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
--- java/src/charvax/swing/JLabel.java.orig Sat Dec 17 15:27:30 2005
+++ java/src/charvax/swing/JLabel.java Mon Jan 29 09:39:30 2007
@@ -20,6 +20,7 @@
package charvax.swing;
import charva.awt.Dimension;
+import charva.awt.Font;
import charva.awt.Insets;
import charva.awt.Point;
import charva.awt.Toolkit;
@@ -79,6 +80,10 @@ public class JLabel
// Draw the border if it exists
super.draw();
+ int attrib = 0;
+ if (_bold)
+ attrib |= Toolkit.A_BOLD;
+
/* Get the absolute origin of this component.
*/
Point origin = getLocationOnScreen();
@@ -98,7 +103,7 @@ public class JLabel
buf.setLength(_width); // truncate
int colorpair = getCursesColor();
- term.addString(buf.toString(), 0, colorpair);
+ term.addString(buf.toString(), attrib, colorpair);
}
/**
@@ -169,10 +174,16 @@ public class JLabel
return "JLabel: [" + getText() + "]";
}
+ public void setFont(Font font_) {
+ _bold = ((font_.getStyle() & Font.BOLD) != 0);
+ }
+
//====================================================================
// INSTANCE VARIABLES
private String _labeltext;
private int _width;
+
+ protected boolean _bold = false;
}
|