# HG changeset patch
# User wenzelm
# Date 1260129007 -3600
# Node ID a2ed621f5f52339d4e7926b8466d9592e0d08f26
# Parent  b316d05a66a4c75f28acbb9bc2f077d81dfbb17d
reduced logging;

diff -r b316d05a66a4 -r a2ed621f5f52 src/Tools/jEdit/src/jedit/StateViewDockable.scala
--- 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 =