refresh-delayed? in editor<%>
Returns #t if updating on this editor is
currently delayed. Updating may be delayed because
begin-edit-sequence has been called for this editor, or because the editor has no
administrator, or because the editor's administrator returns
#t from its
refresh-delayed? method. (The administrator might return #t because an
enclosing editor's refresh is delayed.)