src/Tools/jEdit/src/isabelle_vfs.scala
changeset 70203 cd2af90360ee
parent 69761 a899ca03d74c
child 71601 97ccf48c2f0c
equal deleted inserted replaced
70202:373eb0aa97e3 70203:cd2af90360ee
    71   }
    71   }
    72 
    72 
    73   override def _getFile(vfs_session: AnyRef, url: String, component: Component): VFSFile =
    73   override def _getFile(vfs_session: AnyRef, url: String, component: Component): VFSFile =
    74   {
    74   {
    75     val parent = getParentOfPath(url)
    75     val parent = getParentOfPath(url)
    76     if (parent == prefix) null
    76     if (parent == prefix) new VFSFile(prefix, prefix, prefix, VFSFile.DIRECTORY, 0L, false)
    77     else {
    77     else {
    78       val files = _listFiles(vfs_session, parent, component)
    78       val files = _listFiles(vfs_session, parent, component)
    79       if (files == null) null
    79       if (files == null) null
    80       else files.find(_.getPath == url) getOrElse null
    80       else files.find(_.getPath == url) getOrElse null
    81     }
    81     }