private void idle() { optimizing.setValue("false"); optimizeButton.setEnabled(true); }
private void optimizing() { optimizing.setValue("true"); optimizeButton.setEnabled(false); }