labels: authority is case-insensitive

This commit is contained in:
Martin Aeschlimann
2019-11-26 17:32:47 +01:00
parent a3830f95de
commit 5de104f81a

View File

@@ -117,7 +117,7 @@ export class LabelService implements ILabelService {
return;
}
if (match(formatter.authority, resource.authority) && (!bestResult || !bestResult.authority || formatter.authority.length > bestResult.authority.length || ((formatter.authority.length === bestResult.authority.length) && formatter.priority))) {
if (match(formatter.authority.toLowerCase(), resource.authority.toLowerCase()) && (!bestResult || !bestResult.authority || formatter.authority.length > bestResult.authority.length || ((formatter.authority.length === bestResult.authority.length) && formatter.priority))) {
bestResult = formatter;
}
}