--- a/src/Tools/jEdit/src/html_panel.scala Sat Sep 21 16:08:17 2013 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,36 +0,0 @@
-/* Title: Tools/jEdit/src/html_panel.scala
- Author: Makarius
-
-HTML panel based on Lobo/Cobra.
-*/
-
-package isabelle.jedit
-
-
-import isabelle._
-
-import java.io.StringReader
-
-import java.util.logging.{Logger, Level}
-
-import org.lobobrowser.html.parser.{DocumentBuilderImpl, InputSourceImpl}
-import org.lobobrowser.html.gui.HtmlPanel
-import org.lobobrowser.html.test.{SimpleHtmlRendererContext, SimpleUserAgentContext}
-
-
-class HTML_Panel extends HtmlPanel
-{
- Swing_Thread.require()
-
- Logger.getLogger("org.lobobrowser").setLevel(Level.WARNING)
-
- private val ucontext = new SimpleUserAgentContext
- private val rcontext = new SimpleHtmlRendererContext(this, ucontext)
- private val builder = new DocumentBuilderImpl(ucontext, rcontext)
-
- def render_document(url: String, html_text: String)
- {
- val doc = builder.parse(new InputSourceImpl(new StringReader(html_text), url))
- Swing_Thread.later { setDocument(doc, rcontext) }
- }
-}