Skip to content

Improving order of symbols #6

Description

@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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions