Make hint -f case insensitive

This commit is contained in:
Oliver Blanthorn 2019-05-27 19:37:41 +01:00
parent 76f7100987
commit ede58e479c
No known key found for this signature in database
GPG key ID: 2BB8C36BB504BFF3

View file

@ -722,7 +722,7 @@ export function hintByText(match: string|RegExp) {
if (match instanceof RegExp) {
return text.match(match) !== null
} else {
return text.includes(match)
return text.toUpperCase().includes(match.toUpperCase())
}
}
])