changed: file_tree widget now multiple times usable
Merge branch 'master' of git@github.com:ColdTrick/file_tools.git