Searched refs:color_boundary4 (Results 1 – 3 of 3) sorted by relevance
163 defaults.setProperty (color_boundary4, Integer.toString((Color.magenta).getRGB())); in initDefaults()774 public static final String color_boundary4 = "color_boundary4"; field in Options
89 boundary_palette[4] = new Color (Integer.parseInt(op.get(Options.color_boundary4))); in DrawControl()
1582 bound4Label.setBackground (new Color (Integer.parseInt(cc.op.get(Options.color_boundary4)))); in updateGUI()1752 cc.op.set (Options.color_boundary4, Integer.toString(bound4Label.getBackground().getRGB())); in updateOptions()