changeset 56662 | f373fb77e0a4 |
parent 53712 | ea51046be71b |
child 57612 | 990ffb84489b |
--- a/src/Tools/jEdit/src/graphview_dockable.scala Tue Apr 22 23:31:45 2014 +0200 +++ b/src/Tools/jEdit/src/graphview_dockable.scala Tue Apr 22 23:49:15 2014 +0200 @@ -29,7 +29,7 @@ private def set_implicit(snapshot: Document.Snapshot, graph: Exn.Result[graphview.Model.Graph]) { - Swing_Thread.require() + Swing_Thread.require {} implicit_snapshot = snapshot implicit_graph = graph