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 }