forked from phoedos/pmd
bug fix: log level label wasn't refreshed when pressing "Restore Defaults"
git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@5605 51baf565-9d33-0410-a72c-fc3788e3496d
This commit is contained in:
@ -407,6 +407,7 @@ public class GeneralPreferencesPage extends PreferencePage implements IWorkbench
|
||||
|
||||
if (this.logLevelScale != null) {
|
||||
this.logLevelScale.setSelection(intLogLevel(IPreferences.LOG_LEVEL));
|
||||
updateLogLevelValueLabel();
|
||||
}
|
||||
}
|
||||
|
||||
|
Reference in New Issue
Block a user