# HG changeset patch
# User wenzelm
# Date 1229893773 -3600
# Node ID 2faedc70b52d41f16cbcecfc8c4edf1b23747bf9
# Parent  4eb1b75c746d622ceced91d4d61e5dc7c415bdb9
proper import isabelle.renderer.UserAgent;

diff -r 4eb1b75c746d -r 2faedc70b52d src/Tools/jEdit/src/jedit/ProverSetup.scala
--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Dec 21 22:09:08 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Sun Dec 21 22:09:33 2008 +0100
@@ -10,6 +10,8 @@
 import isabelle.IsabelleSystem
 import isabelle.utils.EventSource
 import isabelle.prover.{Prover, Command}
+import isabelle.renderer.UserAgent
+
 
 import org.w3c.dom.Document
 
diff -r 4eb1b75c746d -r 2faedc70b52d src/Tools/jEdit/src/jedit/ScrollerDockable.scala
--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Dec 21 22:09:08 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Dec 21 22:09:33 2008 +0100
@@ -10,6 +10,8 @@
 import isabelle.IsabelleProcess.Result
 import isabelle.YXML.parse_failsafe
 import isabelle.utils.EventSource
+import isabelle.renderer.UserAgent
+
 
 import scala.collection.mutable.{ArrayBuffer, HashMap}
 
diff -r 4eb1b75c746d -r 2faedc70b52d src/Tools/jEdit/src/jedit/StateViewDockable.scala
--- a/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Sun Dec 21 22:09:08 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Sun Dec 21 22:09:33 2008 +0100
@@ -12,6 +12,7 @@
 import javax.swing.{JButton, JPanel, JScrollPane}
 
 import isabelle.IsabelleSystem.getenv
+import isabelle.renderer.UserAgent
 
 import org.xhtmlrenderer.simple.{XHTMLPanel, FSScrollPane}
 import org.xhtmlrenderer.context.AWTFontResolver