--- a/src/Tools/jEdit/src/jedit/StateViewDockable.scala Fri Dec 04 23:10:11 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/StateViewDockable.scala Sun Dec 06 20:50:07 2009 +0100
@@ -12,8 +12,11 @@
import java.io.StringReader
import java.awt.{BorderLayout, Dimension}
+
import javax.swing.{JButton, JPanel, JScrollPane}
+import java.util.logging.{Logger, Level}
+
import org.lobobrowser.html.parser._
import org.lobobrowser.html.test._
import org.lobobrowser.html.gui._
@@ -36,7 +39,12 @@
setPreferredSize(new Dimension(500, 250))
setLayout(new BorderLayout)
+
+ // global logging
+ Logger.getLogger("org.lobobrowser").setLevel(Level.WARNING)
+
+
// document template with styles
private def try_file(name: String): String =