src/Tools/jEdit/src/document_model.scala

 
     def snapshot(): List[Text.Edit] = pending.toList
 
     def flushed_edits(): List[Document.Edit_Text] =
     {
-      Swing_Thread.require()
-
       val clear = pending_clear
       val edits = snapshot()
       val perspective = node_perspective()
       if (clear || !edits.isEmpty || last_perspective != perspective) {
         pending_clear = false

       else Nil
     }
 
     def edit(clear: Boolean, e: Text.Edit)
     {
-      Swing_Thread.require()
-
       if (clear) {
         pending_clear = true
         pending.clear
       }
       pending += e
       PIDE.editor.invoke()
     }
   }
 
-  def flushed_edits(): List[Document.Edit_Text] = pending_edits.flushed_edits()
-
-
-  /* snapshot */
-
   def snapshot(): Document.Snapshot =
-  {
-    Swing_Thread.require()
-    session.snapshot(node_name, pending_edits.snapshot())
-  }
+    Swing_Thread.require { session.snapshot(node_name, pending_edits.snapshot()) }
+
+  def flushed_edits(): List[Document.Edit_Text] =
+    Swing_Thread.require { pending_edits.flushed_edits() }
 
 
   /* buffer listener */
 
   private val buffer_listener: BufferListener = new BufferAdapter