Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Support full identifiers in breadcrumbs #1011
This adds support for full identifiers (e.g.
Fix for #1010.
This change first of all refactors the existing code to construct a prefix array for a given item identifier. For example,
For full identifiers, the procedure is the same, with the main difference that the item matching