Add configuration for making hint-filtering case-insensitive#1468

quarkw wants to merge 1 commit intobrookhong:masterbrookhong/Surfingkeys:masterfrom

quarkw:case-insensitive-hint-filterquarkw/Surfingkeys:case-insensitive-hint-filterCopy head branch name to clipboard