1.1 --- a/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Fri Dec 04 23:10:11 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Sun Dec 06 20:50:07 2009 +0100
     1.3 @@ -12,8 +12,11 @@
     1.4  
     1.5  import java.io.StringReader
     1.6  import java.awt.{BorderLayout, Dimension}
     1.7 +
     1.8  import javax.swing.{JButton, JPanel, JScrollPane}
     1.9  
    1.10 +import java.util.logging.{Logger, Level}
    1.11 +
    1.12  import org.lobobrowser.html.parser._
    1.13  import org.lobobrowser.html.test._
    1.14  import org.lobobrowser.html.gui._
    1.15 @@ -36,7 +39,12 @@
    1.16      setPreferredSize(new Dimension(500, 250))
    1.17    setLayout(new BorderLayout)
    1.18  
    1.19 +
    1.20 +  // global logging
    1.21    
    1.22 +  Logger.getLogger("org.lobobrowser").setLevel(Level.WARNING)
    1.23 +
    1.24 +
    1.25    // document template with styles
    1.26  
    1.27    private def try_file(name: String): String =