textbox highlighting, and improvements to search interface, plus some other stuff