Fixes a bug where documentPadding wasn't applied correctly to the EditorView's height.