# HG changeset patch
# User wenzelm
# Date 1457866118 -3600
# Node ID 656e9412667cd40849db8d645a2e3c5168708a67
# Parent  19f87fa0cfcbad15388c766e69b1ae878af84da8
tuned;

diff -r 19f87fa0cfcb -r 656e9412667c src/Tools/jEdit/src/active.scala
--- a/src/Tools/jEdit/src/active.scala	Sun Mar 13 10:22:46 2016 +0100
+++ b/src/Tools/jEdit/src/active.scala	Sun Mar 13 11:48:38 2016 +0100
@@ -33,8 +33,7 @@
                 Standard_Thread.fork("browser") {
                   val graph_file = Isabelle_System.tmp_file("graph")
                   File.write(graph_file, XML.content(body))
-                  Isabelle_System.bash("isabelle browser -c \"$GRAPH_FILE\" &",
-                    env = Map("GRAPH_FILE" -> File.standard_path(graph_file)))
+                  Isabelle_System.bash("isabelle browser -c " + File.bash_path(graph_file) + " &")
                 }
 
               case XML.Elem(Markup(Markup.GRAPHVIEW, _), body) =>