possible case insensitive sort issue..

[jeske]

Just reading the code, I wonder if you mean this code in isense.ts...

// Case insensitive sorting
function caseInsensitiveSort(a: { name: string; }, b: { name: string; }) {
if (a.name.toLowerCase() < b.name.toLowerCase()) return -1;
if (a.name.toLowerCase() > b.name.toLowerCase()) return 1;
return 0;
}

To be more like this..

// Case insensitive sorting
function caseInsensitiveSort(a: { name: string; }, b: { name: string; }) {
if (a.name.toLowerCase() < b.name.toLowerCase()) return -1;
if (a.name.toLowerCase() > b.name.toLowerCase()) return 1;
// the lower-case strings are equal, so now put them in local order..
if (a.name < b.name) return -1;
if (a.name > b.name) return 1;
return 0;
}

This code will cause strings which different only in case to be adjacent to eachother, but in a deterministic way without collisions.

[jbaron]

Thanks for reporting the issue (to be honest, I didn't even think about that scenario). I added your fix in the latest code that I just checked in.