Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use System.getenv temporarily;
authorwenzelm
Sat, 27 Dec 2008 15:20:02 +0100
changeset 34442 9e6d80c387e0
parent 34441 ff3b7ae2b12a
child 34443 f2e13329cc49
use System.getenv temporarily;
src/Tools/jEdit/src/renderer/UserAgent.scala file | annotate | diff | comparison | revisions 
--- 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";
isabelle