/** * And a static method to reread this holder. This is used when the selection method is changed * via the option menu. */ public void updateSelectionMethod() { if (timeForDelayedSelection == null) { timeForDelayedSelection = new Tools.IntHolder(); } delayedSelectionEnabled = new Tools.BooleanHolder(); delayedSelectionEnabled.setValue( c.getFrame().getProperty("selection_method").equals("selection_method_direct") ? false : true); /* * set time for delay to infinity, if selection_method equals * selection_method_by_click. */ if (c.getFrame().getProperty("selection_method").equals("selection_method_by_click")) { timeForDelayedSelection.setValue(Integer.MAX_VALUE); } else { timeForDelayedSelection.setValue( Integer.parseInt(c.getFrame().getProperty("time_for_delayed_selection"))); } }