From 578e1fd8220348aa525bfe2d740c789bbdbcd53e Mon Sep 17 00:00:00 2001
From: Xavier Le Vourch <xlv@users.sourceforge.net>
Date: Wed, 31 Oct 2007 21:13:33 +0000
Subject: [PATCH] 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
---
 .../sourceforge/pmd/ui/preferences/GeneralPreferencesPage.java   | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pmd-eclipse-ui/src/net/sourceforge/pmd/ui/preferences/GeneralPreferencesPage.java b/pmd-eclipse-ui/src/net/sourceforge/pmd/ui/preferences/GeneralPreferencesPage.java
index 19bdabd505..fdb1b5f5bb 100644
--- a/pmd-eclipse-ui/src/net/sourceforge/pmd/ui/preferences/GeneralPreferencesPage.java
+++ b/pmd-eclipse-ui/src/net/sourceforge/pmd/ui/preferences/GeneralPreferencesPage.java
@@ -407,6 +407,7 @@ public class GeneralPreferencesPage extends PreferencePage implements IWorkbench
         
         if (this.logLevelScale != null) {
             this.logLevelScale.setSelection(intLogLevel(IPreferences.LOG_LEVEL));
+            updateLogLevelValueLabel();
         }
     }