src/Tools/jEdit/src/jedit/UserAgent.scala

--- a/src/Tools/jEdit/src/jedit/UserAgent.scala	Thu Dec 18 01:10:20 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/UserAgent.scala	Fri Dec 19 22:24:32 2008 +0100
@@ -1,3 +1,10 @@
+/*
+ * XML/CSS rendering -- user agent
+ *
+ * @author Fabian Immler, TU Munich
+ * @author Johannes Hölzl, TU Munich
+ */
+
 package isabelle.jedit
 
 import java.io.ByteArrayInputStream
@@ -6,8 +13,9 @@
 import isabelle.IsabelleSystem.getenv
 
 object UserAgent {
+  // FIXME avoid static getenv
   val baseURL = "file://localhost" + getenv("ISABELLE_HOME") + "/lib/html/"
-  val userStylesheet =  "file://localhost" + getenv("ISABELLE_HOME_USER") + "/etc/user.css";
+  val userStylesheet =  "file://localhost" + getenv("ISABELLE_HOME_USER") + "/etc/user.css"
   val stylesheet = """
 
 @import "isabelle.css";