Disable autoType for non-prefix matches. Styling for substrings.
Fixed a bug where text would deselect itself when user types substring.
Fixed for real this time.
Minor simplifications to substring-search code.
Merge pull request #12 from AndreasBWagner/substring_search2

Fixed substring search + styling of substrings in tips