# HG changeset patch
# User wenzelm
# Date 1230387602 -3600
# Node ID 9e6d80c387e0f20afee1a2e918a3f176f8a87b30
# Parent  ff3b7ae2b12a6f8460dd7d28becc043bd8732785
use System.getenv temporarily;

diff -r ff3b7ae2b12a -r 9e6d80c387e0 src/Tools/jEdit/src/renderer/UserAgent.scala
--- a/src/Tools/jEdit/src/renderer/UserAgent.scala	Sat Dec 27 15:03:32 2008 +0100
+++ b/src/Tools/jEdit/src/renderer/UserAgent.scala	Sat Dec 27 15:20:02 2008 +0100
@@ -11,13 +11,12 @@
 import java.io.ByteArrayInputStream
 import org.xhtmlrenderer.swing.NaiveUserAgent
 import org.xhtmlrenderer.resource.CSSResource
-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 baseURL = "file://localhost" + System.getenv("ISABELLE_HOME") + "/lib/html/"
+  val userStylesheet =  "file://localhost" + System.getenv("ISABELLE_HOME_USER") + "/etc/user.css"
   val stylesheet = """
 
 @import "isabelle.css";