class VFS extends Isabelle_VFS(
vfs_prefix,
read = true,
browse = true,
low_latency = true,
non_awt_session = true
) { overridedef _listFiles(
vfs_session: AnyRef,
url: String,
component: Component
): Array[VFSFile] = {
explode_url(url, component = component) match { case None => null case Some(elems) => val sessions = JEdit_Session.sessions_structure()
elems match { case Nil =>
sessions.relevant_chapters.sortBy(_.name).map(ch => make_entry(ch.name, is_dir = true)).toArray case List(chapter) =>
sessions.relevant_chapters.find(_.name == chapter) match { case None => null case Some(ch) =>
ch.sessions.map { session => val pos = sessions(session).pos val name = ch.name + "/" + session val path =
Position.File.unapply(pos) match { case Some(path) => File.platform_path(path) case None => null
} val marker =
Position.Line.unapply(pos) match { case Some(line) => "+line:" + line case None => null
} new Session_Entry(name, path, marker)
}.toArray
} case _ => null
}
}
}
}
/* open browser */
def open_browser(view: View): Unit = { val path =
PIDE.maybe_snapshot(view) match { case None => "" case Some(snapshot) => val sessions_structure = JEdit_Session.sessions_structure() val session = sessions_structure.theory_qualifier(snapshot.node_name) val chapter =
sessions_structure.get(session) match { case Some(info) => info.chapter case None => Sessions.UNSORTED
}
chapter
}
VFSBrowser.browseDirectory(view, vfs_prefix + path)
}
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
