I can't pull right now, but did you test the fix?  This property is still needed, because CSS doesn't have a way to specify a percentage max-height on a container that holds a variable-height scrollable body, such as the infoBox body.  This property is written to by `viewer.resize`.