Isolated fix for changing height of modal bar with filter picker

This is a temporary, isolated fix for #8242 . This will allow us to post Release 0.41, but we should keep issue #8242 open so that a better fix gets researched.