# HG changeset patch
# User wenzelm
# Date 1224433597 -7200
# Node ID eaac45c4534806b8b0ee9000e9c0356084ac3826
# Parent  c13e168a8ae6c66cdda20f1fbb3996806fa30adc
explicit result type for _listFiles;

diff -r c13e168a8ae6 -r eaac45c45348 src/Tools/jEdit/src/jedit/VFS.scala
--- 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)))