The search dialog also has a fake scrollbar!

And it forgets all the indexed levels after you close it.
Yeah, the search dialog needs more work. geoo has already complained that it doesn't support selection up/down by keyboard. With level tags that we want to filter via search, the search dialog becomes even more important.
-- Simon