On 18 Sep 2017 as I do recall,
Michael Drake wrote:
> Hello,
>
> An experimental search feature has been added to the following:
>
> 1. Hotlist viewer (bookmarks)
> 2. Global history viewer
> 3. Cookie manager window
Seems to work - thanks.
The size of the work area gets a bit confused if you toggle the 'expand
entries' icon with a search active (seems to reset to what it would be if
the whole window were being displayed, rather than just the visible
entries). It corrects itself if you then carry out a fresh search.
--
Harriet Bazley == Loyaulte me lie ==
Sattinger's Law: It works better if you plug it in.
