[previous] [up] [next]     [index]
Next: resized Up: editor-admin Previous: popup-menu

refresh-delayed?

Returns #t if updating on this administrator's display is currently delayed (usually by begin-edit-sequence in editor<%> in an enclosing editor).



PLT