Search boxes on top right

[Robert Leach]

Conventional search functionality uses an inset search box in the top right of windows (or in a drop-down box when command-f is typed. I think people are used to that in browsers and such and us mimicking it would make it easier to use. Plus, hovering windows won't be in the way, so we can see the results and edit the search terms without using the mouse.

[Christopher Keil]

Implemented! Major thing to improve would be to keep the zoom-level when searching but this has given me a lot of headache. Should be resolvable though.