Search box feature now finds matches anywhere within symbol names,

not only at the beginning of a 'word' as it did before.  It also makes
the search text box background red if there are no matches for the
current search string.