References to, includes from, and redirects to Incremental GUI text search

Date Name Who What
2018-03-05 17:06:12 Searching in a text widget WJG reference