changeset 57612 | 990ffb84489b |
parent 56662 | f373fb77e0a4 |
child 57613 | 4c6d44a3a079 |
--- 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) {