Searched refs:color_fill6 (Results 1 – 3 of 3) sorted by relevance
144 defaults.setProperty (color_fill6, Integer.toString((Color.pink).getRGB())); in initDefaults()698 public static final String color_fill6 = "color_fill6"; field in Options
72 parallel_palette[6] = new Color (Integer.parseInt(op.get(Options.color_fill6))); in DrawControl()
1568 fill6Label.setBackground (new Color (Integer.parseInt(cc.op.get(Options.color_fill6)))); in updateGUI()1733 cc.op.set (Options.color_fill6, Integer.toString(fill6Label.getBackground().getRGB())); in updateOptions()