src/Tools/jEdit/src/jedit/VFS.scala
changeset 34319 eaac45c45348
parent 34318 c13e168a8ae6
child 34337 5d5b69f2956b
equal deleted inserted replaced
34318:c13e168a8ae6 34319:eaac45c45348
   177     baseVFS._delete(session, cutPath(path), comp)
   177     baseVFS._delete(session, cutPath(path), comp)
   178   
   178   
   179   override def _getFile(session : Object, path : String, comp : Component) =
   179   override def _getFile(session : Object, path : String, comp : Component) =
   180     VFS.mapFile(this, baseVFS._getFile(session, cutPath(path), comp))
   180     VFS.mapFile(this, baseVFS._getFile(session, cutPath(path), comp))
   181 
   181 
   182   override def _listFiles(session : Object, path : String, comp :  Component) =
   182   override def _listFiles(session : Object, path : String, comp :  Component): Array[VFSFile] =
   183     (baseVFS._listFiles(session, cutPath(path), comp)
   183     (baseVFS._listFiles(session, cutPath(path), comp)
   184             .map(file => VFS.mapFile(this, file)))
   184             .map(file => VFS.mapFile(this, file)))
   185 
   185 
   186   override def _mkdir(session : Object, path : String, comp : Component) =
   186   override def _mkdir(session : Object, path : String, comp : Component) =
   187     baseVFS._mkdir(session, cutPath(path), comp)
   187     baseVFS._mkdir(session, cutPath(path), comp)