src/Tools/jEdit/src/document_model.scala

       pending += e
       PIDE.editor.invoke()
     }
   }
 
+  def is_stable(): Boolean = !pending_edits.is_pending();
+
   def snapshot(): Document.Snapshot =
     session.snapshot(node_name, pending_edits.snapshot())
 
   def flushed_edits(doc_blobs: Document.Blobs): List[Document.Edit_Text] =
     pending_edits.flushed_edits(doc_blobs)