Re: address@hidden: case-insensitive partial-completion-mode issue]

[Richard Stallman]

    Meanwhile I think I got the error:

    `wildcard-to-regexp' returns always case-sensitive.

I disagree with that statement.

For instance, (wildcard-to-regexp "foo*") returns "\\`foo[^]*\\'".
It is incorrect to say "that regexp is case-sensitive".  It is
incorrect to say "that regexp is case-insensitive".  That regexp can
be matched in a case-sensitive manner or a case-insensitive manner,
depending on the value of `case-fold-search'.

So the point is to make sure to have the right value of `case-fold-search'
when using the regexp.

I hope someone has the time to look at that code to determine
the right places to do this.