Как скопировать файлы, содержащиеся в Навигаторе, в новый каталог?
Отвечено в списке рассылки sbt :
def copy(finder: PathFinder, dst: File) = { IO.copy(finder.get map {f => (f, dst / f.getName)}) }