01: /**
02:    A property editor for the ArrowHead type.
03: */
04: public class ArrowHeadEditor extends PropertySelector
05: {
06:    public ArrowHeadEditor()
07:    {
08:       super(names, values);
09:    }
10: 
11:    private static final String[] names = 
12:    { 
13:       "None", 
14:       "Triangle", 
15:       "V", 
16:       "Diamond", 
17:       "Black Diamond" 
18:    };
19:    
20:    private static final Object[] values = 
21:    {
22:       ArrowHead.NONE,
23:       ArrowHead.TRIANGLE,
24:       ArrowHead.V,
25:       ArrowHead.DIAMOND,
26:       ArrowHead.BLACK_DIAMOND
27:    };
28: }