resized

Called by the editor to notify its display that the editor's size or scroll count has changed, so the scrollbars need to be adjusted to reflect the new size. The editor generally needs to be updated after a resize, but the editor decides whether the update should occur immediately.

• (send an-editor-admin resized refresh?) -> void
      refresh? : boolean

  If refresh? is not #f, then the editor is requesting to be updated immediately.