Change font in bottom panel of Swing tree logger to match the upper panel.

Patch by: jat
Review by: bruce (desk)


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@6969 8db76d5a-ed1c-0410-87a9-c151d255dfc7

dev/core/src/com/google/gwt/dev/shell/log/SwingLoggerPanel.java

diff --git a/dev/core/src/com/google/gwt/dev/shell/log/SwingLoggerPanel.java b/dev/core/src/com/google/gwt/dev/shell/log/SwingLoggerPanel.java
index b6a6c22..cde4f3b 100644
--- a/dev/core/src/com/google/gwt/dev/shell/log/SwingLoggerPanel.java
+++ b/dev/core/src/com/google/gwt/dev/shell/log/SwingLoggerPanel.java
@@ -30,6 +30,7 @@
 import java.awt.Component;
 import java.awt.Dimension;
 import java.awt.FlowLayout;
+import java.awt.Font;
 import java.awt.HeadlessException;
 import java.awt.Point;
 import java.awt.datatransfer.Clipboard;
@@ -60,11 +61,14 @@
 import javax.swing.KeyStroke;
 import javax.swing.Popup;
 import javax.swing.PopupFactory;
+import javax.swing.UIManager;
 import javax.swing.event.HyperlinkEvent;
 import javax.swing.event.HyperlinkListener;
 import javax.swing.event.TreeSelectionEvent;
 import javax.swing.event.TreeSelectionListener;
 import javax.swing.event.HyperlinkEvent.EventType;
+import javax.swing.text.html.HTMLDocument;
+import javax.swing.text.html.HTMLEditorKit;
 import javax.swing.tree.DefaultMutableTreeNode;
 import javax.swing.tree.DefaultTreeCellRenderer;
 import javax.swing.tree.DefaultTreeModel;
@@ -375,6 +379,11 @@
     details.setContentType("text/html");
     details.setForeground(Color.BLACK);
     details.addHyperlinkListener(this);
+    // font trick from http://explodingpixels.wordpress.com/2008/10/28/make-jeditorpane-use-the-system-font/
+    Font font = UIManager.getFont("Label.font");
+    String bodyRule = "body { font-family: " + font.getFamily() + "; "
+        + "font-size: " + font.getSize() + "pt; }";
+    ((HTMLDocument) details.getDocument()).getStyleSheet().addRule(bodyRule);
     JScrollPane msgView = new JScrollPane(details);
     JSplitPane splitter = new JSplitPane(JSplitPane.VERTICAL_SPLIT);
     splitter.setTopComponent(treeView);