added more flexible path browsing when selecting theory files. fixed minor alignment issues in filetree view