projects
/
webmin.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Handle hostnames with upper-case letters
[webmin.git]
/
file
/
StaticTextField.java
1
import java.awt.*;
2
3
// StaticTextField
4
// A text field that is set to be non-editable by default
5
class StaticTextField extends TextField
6
{
7
StaticTextField()
8
{
9
super();
10
setEditable(false);
11
}
12
13
StaticTextField(String s)
14
{
15
super(s);
16
setEditable(false);
17
}
18
19
StaticTextField(String s, int i)
20
{
21
super(s,i);
22
setEditable(false);
23
}
24
}