# HG changeset patch
# User wenzelm
# Date 1448222018 -3600
# Node ID 31633e503c1719aa49bedf4466d4701246ff0c5a
# Parent  00fcff12c59fb65e929a9b66ce3f3b19f705f8e9
more thorough completion rendering, e.g. "Un";

diff -r 00fcff12c59f -r 31633e503c17 src/Tools/jEdit/src/completion_popup.scala
--- a/src/Tools/jEdit/src/completion_popup.scala	Sun Nov 22 13:33:38 2015 +0100
+++ b/src/Tools/jEdit/src/completion_popup.scala	Sun Nov 22 20:53:38 2015 +0100
@@ -130,7 +130,7 @@
               case Some(range) if !range.is_singularity =>
                 val range0 =
                   Completion.Result.merge(Completion.History.empty,
-                    syntax_completion(Completion.History.empty, false, Some(rendering)),
+                    syntax_completion(Completion.History.empty, true, Some(rendering)),
                     Completion.Result.merge(Completion.History.empty,
                       path_completion(rendering),
                       Bibtex_JEdit.completion(Completion.History.empty, text_area, rendering)))