    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: