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.

This should be called only when you have fullEditor. Remember that you don't have an editor when viewing an image file. So you can combine the two `if (fullEditor)` blocks.