Changed default options for global search and fixed a few other annoy things with 0ca3b9550ab4a15afad8db8fca44c6e2b013f41a.
Merge branch 'master' of https://github.com/ucam-cl-dtg/isaac-app