01: /**
02:    A property editor for the LineStyle type.
03: */
04: public class LineStyleEditor extends PropertySelector
05: {
06:    public LineStyleEditor()
07:    {
08:       super(names, values);
09:    }
10: 
11:    private static final String[] names = 
12:    { 
13:       "Solid", 
14:       "Dotted" 
15:    };
16:    
17:    private static final Object[] values = 
18:    {
19:       LineStyle.SOLID,
20:       LineStyle.DOTTED
21:    };
22: }
23: