Fixes #1. Also, change the tabwidget to a dock widget in case the user
wants to see search results along side the current tree.