Extend EditorView to control font size

This keeps the mini editors usable even when the font size is really large,
really small, or invalid and ensures the text is always readable.

Closes #83