karlproject/karl — pull request #120 by reebalazs (2014-10-25 13:08:58+00:00)
Title: Better display of the folder titles in MoveTo menu of the files tool.

This became possible because we need to use the name (and not the title)
as the data source, for performance reasons.