Re: [jdt-core-dev] Changes JDTCORE in build 20011204

["Philippe Mulet/SNZ/OTI" <Philippe_Mulet@xxxxxxx>]

No, I actually took back the case insensitivity as per discussion with 
Erich.
This PR simply got closed, a checkbox in the UI will be added.





"Daniel Megert/ZRH/OTI" <Daniel_Megert@xxxxxxx>
Sent by: jdt-core-dev-admin@xxxxxxxxxxx
12/04/2001 04:16 PM
Please respond to jdt-core-dev

 
        To:     jdt-core-dev@xxxxxxxxxxx
        cc: 
        Subject:        Re: [jdt-core-dev] Changes JDTCORE in build 20011204


I see the following entry: 6423: Search - does not find declarations of method "to*String" 

Does this mean, that the Search API is now changed (i.e. case-insensitive 
for string pattern search)?

Dani