Improving order of symbols

[varkor]

• Sort recently-used symbols to the top of the list
• If there is a direct match (e.g. circ), use that rather than something else (e.g. ocirc).
• Take case into account.

Edit: the last two issues seem to have been addressed in a recent version of VS Code.

[v-i-s-h]

Prioritize the list of symbols based on the match. Place exact match symbols on top then with partial match.

Ex: If I type \mu in current version(can't find a version number in VScode!), I get a gull list of symbols with '\','m', and 'u'. It would be better if $\mu$ comes on top and then the other matches.

[s-arash]

when I type "lambda", "\Lambda" (Λ) shows up first.

VSCode version: 1.38.1