Interface changes

There are now two result boxes, one showing the brushed selection, one
showing the search results.