There is a "bug" in listbox.js: if the box is initially without display
then the searchbar height is 0 and the list is the wrong size when
rendered. Fix is a hack, alas.