Tonight's 0.17.2+ development snapshot is up:
http://armedbear.org/j-jar.zip (just j.jar)
> 2. Filename completions now work like most other things in j with
> respect to the issue of case sensitivity, to wit:
> If the string to be completed contains no uppercase letters (i.e.
> it's lowercase-only, or a mixture of lowercase and non-alphabetic
> characters), completions ignore case.
> If the string to be completed contains one or more uppercase
> letters, completions are case-sensitive.
This change didn't work out, and I've reverted it.
On Unix, the case-sensitivity of filename completions is once again
controlled by the preference filenameCompletionsIgnoreCase, which
defaults to true. So, by default, filename completions ignore case.
On Windows, filename completions (and filenames themselves) always
This snapshot also fixes a number of bugs related to the recent
introduction of the openFile completion list and the selectCompletion
preference (which now defaults to true). Overall, the behavior of these
features isn't entirely correct yet in all situations (there are a lot
of situations), but you might not notice; the issues tend to be a bit
subtle, and things do work pretty well in general.
As always, your feedback is earnestly solicited (and sincerely