# [#31322] Made title of search boxes show as tooltip. Thanks Peter van
Westen (Fix #1402)