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.