# HG changeset patch
# User wenzelm
# Date 1497895136 -7200
# Node ID 135bf45026ea754ab108d6c3ba6d91b1c3a8d8a4
# Parent  c137a9f038a644b264aee01aff5943c49eeb15be
tuned;

diff -r c137a9f038a6 -r 135bf45026ea src/Tools/jEdit/src/bibtex_jedit.scala
--- 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)