Searched refs:color_boundary9 (Results 1 – 3 of 3) sorted by relevance
168 defaults.setProperty (color_boundary9, Integer.toString((Color.magenta).getRGB())); in initDefaults()794 public static final String color_boundary9 = "color_boundary9"; field in Options
94 boundary_palette[9] = new Color (Integer.parseInt(op.get(Options.color_boundary9))); in DrawControl()
1587 bound9Label.setBackground (new Color (Integer.parseInt(cc.op.get(Options.color_boundary9)))); in updateGUI()1757 cc.op.set (Options.color_boundary9, Integer.toString(bound9Label.getBackground().getRGB())); in updateOptions()