Fixed basic Script panel search (still some glitches; related to issue
6850)