repair to package manager GUI

Thanks to Odegov Evgeny for the patch

Closes PR 14196
(cherry picked from commit 6eb94da75f)
This commit is contained in:
Matthew Flatt 2013-11-24 08:19:10 -07:00 committed by Ryan Culpepper
parent fd951ab2ca
commit 1776a1e06d

View File

@ -118,7 +118,7 @@
(cond (cond
[(string<? (db:pkg-name a) (db:pkg-name b)) #t] [(string<? (db:pkg-name a) (db:pkg-name b)) #t]
[(string=? (db:pkg-name a) (db:pkg-name b)) [(string=? (db:pkg-name a) (db:pkg-name b))
(string<? (db:pkg-catalog a) (db:pkg-catalog))] (string<? (db:pkg-catalog a) (db:pkg-catalog b))]
[else #f])] [else #f])]
[else #f]))))) [else #f])))))
(sort-by! 7) (sort-by! 7)