changeset 49406 | 38db4832b210 |
parent 49356 | 6e0c0ffb6ec7 |
child 49410 | 34acbcc33adf |
--- a/src/Tools/jEdit/src/text_overview.scala Mon Sep 17 15:52:50 2012 +0200 +++ b/src/Tools/jEdit/src/text_overview.scala Mon Sep 17 17:49:11 2012 +0200 @@ -66,7 +66,7 @@ Swing_Thread.assert() doc_view.robust_body(()) { - Isabelle.buffer_lock(buffer) { + JEdit_Lib.buffer_lock(buffer) { val snapshot = doc_view.model.snapshot() if (snapshot.is_outdated) {