Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Mon, 19 Jun 2017 19:58:56 +0200
changeset 66115 135bf45026ea
parent 66114 c137a9f038a6
child 66116 dad409cd3423
tuned;
src/Tools/jEdit/src/bibtex_jedit.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/bibtex_jedit.scala	Mon Jun 19 17:28:48 2017 +0200
+++ b/src/Tools/jEdit/src/bibtex_jedit.scala	Mon Jun 19 19:58:56 2017 +0200
@@ -44,7 +44,7 @@
       Text.Info(r, name) <- rendering.citation(JEdit_Lib.before_caret_range(text_area, rendering))
       name1 <- Completion.clean_name(name)
 
-      original <- JEdit_Lib.try_get_text(text_area.getBuffer, r)
+      original <- rendering.model.try_get_text(r)
       original1 <- Completion.clean_name(Library.perhaps_unquote(original))
 
       entries = complete(name1).filter(_ != original1)
isabelle