Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
explicit result type for _listFiles;
authorwenzelm
Sun, 19 Oct 2008 18:26:37 +0200
changeset 34319 eaac45c45348
parent 34318 c13e168a8ae6
child 34320 883dc8fc3328
explicit result type for _listFiles;
src/Tools/jEdit/src/jedit/VFS.scala file | annotate | diff | comparison | revisions 
--- 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