From: richardgraham <richardgraham@180e2498-e6e9-4542-8430-84ac67f01cd8>
Date: Fri, 31 Aug 2012 05:30:21 +0000 (+0000)
Subject: Changed error on JRE bug workaround (border font null) to a warning.
X-Git-Tag: upstream/12.09^2~16
X-Git-Url: https://git.gag.com/?p=debian%2Fopenrocket;a=commitdiff_plain;h=975d14d0e1e501b00c132784708e85047f67a785

Changed error on JRE bug workaround (border font null) to a warning.

git-svn-id: https://openrocket.svn.sourceforge.net/svnroot/openrocket/trunk@1008 180e2498-e6e9-4542-8430-84ac67f01cd8
---

diff --git a/core/src/net/sf/openrocket/gui/util/GUIUtil.java b/core/src/net/sf/openrocket/gui/util/GUIUtil.java
index 1b19e13e..4ac68dce 100644
--- a/core/src/net/sf/openrocket/gui/util/GUIUtil.java
+++ b/core/src/net/sf/openrocket/gui/util/GUIUtil.java
@@ -382,10 +382,10 @@ public class GUIUtil {
 		 */
 		Font font = border.getTitleFont();
 		if (font == null) {
-			log.error("Border font is null, reverting to JLabel font");
+			log.warn("JRE bug workaround : Border font is null, reverting to JLabel font");
 			font = new JLabel().getFont();
 			if (font == null) {
-				log.error("JLabel font is null, not modifying font");
+				log.warn("JRE bug workaround : JLabel font is null, not modifying font");
 				return;
 			}
 		}