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.
more thorough completion rendering, e.g. "Un";
authorwenzelm
Sun, 22 Nov 2015 20:53:38 +0100
changeset 61734 31633e503c17
parent 61733 00fcff12c59f
child 61735 a1b779ee035c
more thorough completion rendering, e.g. "Un";
src/Tools/jEdit/src/completion_popup.scala file | annotate | diff | comparison | revisions 
--- 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)))
isabelle