changeset 52971 | 31926d2c04ee |
parent 52951 | de4bccddcdbd |
child 53177 | dcac8d837b9c |
--- a/src/Tools/jEdit/src/find_dockable.scala Mon Aug 12 09:08:42 2013 +0200 +++ b/src/Tools/jEdit/src/find_dockable.scala Mon Aug 12 11:39:29 2013 +0200 @@ -46,7 +46,7 @@ } private val find_theorems = - Query_Operation(view, "find_theorems", consume_status _, + new Query_Operation(PIDE.editor, view, "find_theorems", consume_status _, (snapshot, results, body) => pretty_text_area.update(snapshot, results, Pretty.separate(body)))