/**
* 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")));
}
}
