Fixes developer warning when EditorView's documentPadding value is null.

Minor tweak for a clean console!