src/Tools/jEdit/src/plugin.scala

--- a/src/Tools/jEdit/src/plugin.scala	Wed May 06 23:39:30 2015 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Thu May 07 21:30:52 2015 +0200
@@ -148,7 +148,7 @@
 
   /* current document content */
 
-  def snapshot(view: View): Document.Snapshot = GUI_Thread.now
+  def snapshot(view: View): Document.Snapshot =
   {
     val buffer = view.getBuffer
     document_model(buffer) match {