Sort queries a bit smarter.

moosetechnology / MooseIDE

New Tools for Moose

MIT License

8 stars 17 forks source link

Sort queries a bit smarter. #1040

Closed ClotildeToullec closed 4 months ago

ClotildeToullec commented 4 months ago

Fix #1005. Queries are now sorted by their arity before being sorted alphabetically. I would have loved to add separators in the droplist but Spec did not want me to.