Details
-
Improvement
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
tools-1.5.2-incubating
-
None
-
None
Description
Now the dictionary case sensitivity is determined during its creation. Using the Dictionary constructor that sets the case sensitivity has no effects. We should document it and mark the constructor as deprecated.