# HG changeset patch
# User wenzelm
# Date 1548884809 -3600
# Node ID 76fbd806ebc534d416667e1af062c438c87b81bb
# Parent  c5778547ed03918ca2d53a4adf90e2ed9f64feed
more robust: avoid crash of browser right-click menu;

diff -r c5778547ed03 -r 76fbd806ebc5 src/Tools/jEdit/src/isabelle_session.scala
--- a/src/Tools/jEdit/src/isabelle_session.scala	Wed Jan 30 22:39:58 2019 +0100
+++ b/src/Tools/jEdit/src/isabelle_session.scala	Wed Jan 30 22:46:49 2019 +0100
@@ -30,7 +30,7 @@
   val vfs_prefix = "isabelle-session:"
 
   class Session_Entry(name: String, path: String, marker: String)
-    extends VFSFile(name, path, null, VFSFile.FILE, 0L, false)
+    extends VFSFile(name, path, vfs_prefix + name, VFSFile.FILE, 0L, false)
   {
     override def getPathMarker: String = marker