src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala

--- a/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Sat Aug 07 14:45:26 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Sat Aug 07 16:15:52 2010 +0200
@@ -40,6 +40,7 @@
 {
   def getHyperlink(buffer: Buffer, original_offset: Int): Hyperlink =
   {
+    Swing_Thread.assert()
     Document_Model(buffer) match {
       case Some(model) =>
         val snapshot = model.snapshot()