# HG changeset patch
# User wenzelm
# Date 1441273167 -7200
# Node ID 64dcd860996235d75c8a32a9dd080008225cba6f
# Parent  e1b4b24f2ebd924870e1f9dc4aab8a2f94e83a24
use alphabetic order before history order;

diff -r e1b4b24f2ebd -r 64dcd8609962 src/Tools/jEdit/src/bibtex_jedit.scala
--- a/src/Tools/jEdit/src/bibtex_jedit.scala	Wed Sep 02 23:31:41 2015 +0200
+++ b/src/Tools/jEdit/src/bibtex_jedit.scala	Thu Sep 03 11:39:27 2015 +0200
@@ -84,7 +84,7 @@
       entries = complete(name).filter(_ != orig)
       if entries.nonEmpty
       items =
-        entries.map({
+        entries.sorted.map({
           case entry =>
             val full_name = Long_Name.qualify(Markup.CITATION, entry)
             val description = List(entry, "(BibTeX entry)")