    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: }