src/Tools/jEdit/src/isabelle_vfs.scala
changeset 70203 cd2af90360ee
parent 69761 a899ca03d74c
child 71601 97ccf48c2f0c
--- a/src/Tools/jEdit/src/isabelle_vfs.scala	Sat Apr 27 21:56:59 2019 +0100
+++ b/src/Tools/jEdit/src/isabelle_vfs.scala	Sun Apr 28 12:34:56 2019 +0200
@@ -73,7 +73,7 @@
   override def _getFile(vfs_session: AnyRef, url: String, component: Component): VFSFile =
   {
     val parent = getParentOfPath(url)
-    if (parent == prefix) null
+    if (parent == prefix) new VFSFile(prefix, prefix, prefix, VFSFile.DIRECTORY, 0L, false)
     else {
       val files = _listFiles(vfs_session, parent, component)
       if (files == null) null