src/Tools/jEdit/src/jedit/StateViewDockable.scala

 
 import java.awt.{BorderLayout, Dimension}
 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
 import org.xhtmlrenderer.layout.SharedContext;
 import org.xhtmlrenderer.extend.TextRenderer;