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
|
import waba.ui.*;
import waba.fx.*;
/**
* A control that displays an application's title.
*/
public class Title extends Control
{
String name;
Font font;
public Title(String name)
{
this.name = name;
this.font = new Font("Helvetica", Font.BOLD, 12);
}
public void onPaint(Graphics g)
{
// draw line across
g.setColor(0, 0, 0);
int y = this.height - 1;
g.drawLine(0, y, this.width, y);
y--;
g.drawLine(0, y, this.width, y);
// draw title
FontMetrics fm = getFontMetrics(font);
int boxWidth = fm.getTextWidth(name) + 8;
g.fillRect(0, 0, boxWidth, y);
g.setColor(255, 255, 255);
g.setFont(font);
g.drawText(name, 4, 2);
}
}
|
