on-display-size in editor<%>

This method is called by the editor's display whenever the display's size (as reported by get-view-size) changes, but it is called indirectly through on-display-size-when-ready.