correctly display the search results
This fixes #247 (closed) by forcing a redraw of the ScrolledPage
and computing the result list height.
Edited by Jean Felder
This fixes #247 (closed) by forcing a redraw of the ScrolledPage
and computing the result list height.