#56457 by chx: The search box that can be displayed by some themes (e.g. bluemarine) was not working.