--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/src/jedit/UserAgent.scala Mon Nov 03 16:57:32 2008 +0100
@@ -0,0 +1,39 @@
+package isabelle.jedit
+
+import java.io.ByteArrayInputStream
+import org.xhtmlrenderer.swing.NaiveUserAgent
+import org.xhtmlrenderer.resource.CSSResource
+import isabelle.IsabelleSystem.getenv
+
+object UserAgent {
+ val baseURL = "file://localhost" + getenv("ISABELLE_HOME") + "/lib/html/"
+ val userStylesheet = "file://localhost" + getenv("ISABELLE_HOME_USER") + "/etc/user.css";
+ val stylesheet = """
+
+@import "isabelle.css";
+
+@import '""" + userStylesheet + """';
+
+messages, message {
+ display: block;
+ white-space: pre-wrap;
+ font-family: Isabelle;
+}
+"""
+}
+
+class UserAgent extends NaiveUserAgent {
+ override def getCSSResource(uri : String) : CSSResource = {
+ if (uri == UserAgent.baseURL + "style")
+ new CSSResource(
+ new ByteArrayInputStream(UserAgent.stylesheet.getBytes()))
+ else {
+ val stream = resolveAndOpenStream(uri)
+ val resource = new CSSResource(stream)
+ if (stream == null)
+ resource.getResourceInputSource().setByteStream(
+ new ByteArrayInputStream(new Array[Byte](0)))
+ resource
+ }
+ }
+}
\ No newline at end of file