Searched refs:draw_crosselement (Results 1 – 3 of 3) sorted by relevance
119 defaults.setProperty (draw_crosselement,"false"); in initDefaults()601 public static final String draw_crosselement = "draw_crosselement"; field in Options
44 cross_element = Boolean.valueOf(op.get (Options.draw_crosselement)).booleanValue(); in DrawControl()
1537 …crosselementCheck.setSelected (Boolean.valueOf(cc.op.get (Options.draw_crosselement)).booleanValue… in updateGUI()1673 cc.op.set (Options.draw_crosselement, "true"); in updateOptions()1675 cc.op.set (Options.draw_crosselement, "false"); in updateOptions()