Searched refs:accelerator_undo (Results 1 – 2 of 2) sorted by relevance
191 defaults.setProperty (accelerator_undo, "CTRL+Z"); in initDefaults()416 if (get (accelerator_undo).equals(accelerator)) return true; in isAlreadyAccelerator()879 public static final String accelerator_undo = "accelerator_undo"; field in Options
149 if ((cc.op.get (Options.accelerator_undo).equals ("NONE"))) in setAccelerators()152 editundo.setAccelerator (Accelerators.getAccelerator (cc.op.get(Options.accelerator_undo))); in setAccelerators()