Home
last modified time | relevance | path

Searched refs:accelerator_zoom_zoomminus (Results 1 – 2 of 2) sorted by relevance

/dports/science/devisor/devisor2.1/devisor2/grid/options/
H A DOptions.java206 defaults.setProperty (accelerator_zoom_zoomminus, "NONE"); in initDefaults()
431 if (get (accelerator_zoom_zoomminus).equals(accelerator)) return true; in isAlreadyAccelerator()
939 public static final String accelerator_zoom_zoomminus = "accelerator_zoom_zoomminus"; field in Options
/dports/science/devisor/devisor2.1/devisor2/grid/GUI/framework/
H A DMainMenu.java209 if ((cc.op.get (Options.accelerator_zoom_zoomminus).equals ("NONE"))) in setAccelerators()
212 …minus.setAccelerator (Accelerators.getAccelerator (cc.op.get(Options.accelerator_zoom_zoomminus))); in setAccelerators()