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.

I copied this code from modalbar.js, so I don't want to make any changes. I don't think it's not necessary to call `EditorManager.resizeEditor()`, but it shouldn't hurt anything. Also, Find/replace is disabled for images, so this shouldn't happen.