Searched refs:draw_numberboundary (Results 1 – 3 of 3) sorted by relevance
112 defaults.setProperty (draw_numberboundary,"true"); in initDefaults()573 public static final String draw_numberboundary = "draw_numberboundary"; field in Options
37 number_boundary = Boolean.valueOf(op.get (Options.draw_numberboundary)).booleanValue(); in DrawControl()
1530 …numberboundaryCheck.setSelected (Boolean.valueOf(cc.op.get (Options.draw_numberboundary)).booleanV… in updateGUI()1645 cc.op.set (Options.draw_numberboundary, "true"); in updateOptions()1647 cc.op.set (Options.draw_numberboundary, "false"); in updateOptions()