Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jedit/VFS.scala
changeset 34319 eaac45c45348
parent 34318 c13e168a8ae6
child 34337 5d5b69f2956b 
--- a/src/Tools/jEdit/src/jedit/VFS.scala	Sun Oct 19 16:51:55 2008 +0200
+++ b/src/Tools/jEdit/src/jedit/VFS.scala	Sun Oct 19 18:26:37 2008 +0200
@@ -179,7 +179,7 @@
   override def _getFile(session : Object, path : String, comp : Component) =
     VFS.mapFile(this, baseVFS._getFile(session, cutPath(path), comp))
 
-  override def _listFiles(session : Object, path : String, comp :  Component) =
+  override def _listFiles(session : Object, path : String, comp :  Component): Array[VFSFile] =
     (baseVFS._listFiles(session, cutPath(path), comp)
             .map(file => VFS.mapFile(this, file)))
isabelle