diff -r b6256ea3b7c5 -r 990ffb84489b src/Tools/jEdit/src/text_overview.scala
--- a/src/Tools/jEdit/src/text_overview.scala	Wed Jul 23 11:08:24 2014 +0200
+++ b/src/Tools/jEdit/src/text_overview.scala	Wed Jul 23 11:19:24 2014 +0200
@@ -64,7 +64,7 @@
   override def paintComponent(gfx: Graphics)
   {
     super.paintComponent(gfx)
-    Swing_Thread.assert {}
+    GUI_Thread.assert {}
 
     doc_view.rich_text_area.robust_body(()) {
       JEdit_Lib.buffer_lock(buffer) {