Searched refs:color_element (Results 1 – 7 of 7) sorted by relevance
/dports/graphics/openorienteering-mapper/mapper-0.9.2/src/fileformats/ |
H A D | xml_file_format.cpp | 328 XmlElementWriter color_element(xml, literal::color); in exportColors() local 331 color_element.writeAttribute(literal::c, cmyk.c, 3); in exportColors() 332 color_element.writeAttribute(literal::m, cmyk.m, 3); in exportColors() 333 color_element.writeAttribute(literal::y, cmyk.y, 3); in exportColors() 334 color_element.writeAttribute(literal::k, cmyk.k, 3); in exportColors() 768 XmlElementReader color_element(xml); in importColors() local 770 color_element.attribute<QString>(literal::name), in importColors() 771 color_element.attribute<int>(literal::priority) ); in importColors() 772 if (color_element.hasAttribute(literal::opacity)) in importColors() 776 cmyk.c = color_element.attribute<float>(literal::c); in importColors() [all …]
|
/dports/math/octave/octave-6.4.0/libinterp/corefcn/ |
H A D | oct-tex-parser.yy | 91 %type<e_base> color_element 139 color_element : COLOR START simple_string END 161 | color_element
|
/dports/science/devisor/devisor2.1/devisor2/grid/options/ |
H A D | DrawControl.java | 53 color_element = new Color (Integer.parseInt(op.get(Options.color_element))); in DrawControl() 231 public Color color_element; field in DrawControl
|
H A D | Options.java | 133 defaults.setProperty (color_element, Integer.toString((Color.green).getRGB())); in initDefaults() 654 public static final String color_element = "color_element"; field in Options
|
/dports/science/devisor/devisor2.1/devisor2/foundation/elements/ |
H A D | Tri.java | 224 g.setColor(cc.dc.color_element); in draw()
|
H A D | Quad.java | 213 g.setColor(cc.dc.color_element); in draw()
|
/dports/science/devisor/devisor2.1/devisor2/grid/GUI/dialogs/ |
H A D | OptionsDialog.java | 1557 colorelementLabel.setBackground (new Color (Integer.parseInt(cc.op.get(Options.color_element)))); in updateGUI() 1721 cc.op.set (Options.color_element, Integer.toString(colorelementLabel.getBackground().getRGB())); in updateOptions()
|