DEFINITION MODULE Edit;

EXPORT QUALIFIED Idle;

PROCEDURE Idle (): BOOLEAN; (* TRUE iff Editor (as opposed to display) is idle *)

END Edit.