private void updateControlsFromPrefs() {
customLibRadio.setSelection(preferences.getUseCustomLib());
defaultLibRadio.setSelection(!customLibRadio.getSelection());
customLibPathText.setText(preferences.getCustomLibPath());
enableErrorsCheckbox.setSelection(preferences.getEnableErrorMarkers());
}
private void validatePrefs() {
if (preferences.getUseCustomLib()) {
String path = preferences.getCustomLibPath();
validateFile(new File(path));
}
}
