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.