Improved reveal function (now the file-tree is scrolled to the file)