Searched refs:accelerator_delete (Results 1 – 2 of 2) sorted by relevance
197 defaults.setProperty (accelerator_delete, "CTRL-D"); in initDefaults()422 if (get (accelerator_delete).equals(accelerator)) return true; in isAlreadyAccelerator()903 public static final String accelerator_delete = "accelerator_delete"; field in Options
173 if ((cc.op.get (Options.accelerator_delete).equals ("NONE"))) in setAccelerators()176 … editdelete.setAccelerator (Accelerators.getAccelerator (cc.op.get(Options.accelerator_delete))); in setAccelerators()