Resolves #842 -- better ordering for suggestions

This commit is contained in:
Peter Cottle 2024-11-11 18:08:12 -05:00
parent decee92bea
commit 095ba99d05

View file

@ -17,6 +17,15 @@ const autoCompleteSuggestionOrder = [
'show solution', // above show goal since you start with a goal view
'reset', // over reset solved
'import level', // over import tree
// for the git commands, we did an analysis and got a better order.
// That way cherry pick is not before checkout
"git commit",
"git clone",
"git fakeTeamwork",
"git checkout",
"git branch",
"git fetch",
"git pull",
];
const allCommandsSorted = autoCompleteSuggestionOrder.concat(