<br><div><span class="gmail_quote">On 29/01/07, <b class="gmail_sendername">Simon Hewison</b> <<a href="mailto:simon@zymurgy.org">simon@zymurgy.org</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I've been doing some looking over the completeness of Central London (very<br>impressive), and found lots of instances of "Name" keys (rather than<br>"name"). So far as I am aware, the key names are case-sensitive in most
<br>renderers and applications, and they expect it to be lower-case.<br><br>I've been manually correcting them, but it's probably worth checking the<br>config of people's favoured editing applications to make sure that we're
<br>consistently using "name" in lower case.<br></blockquote></div><br>Just a thought, but is there a great deal of point in having case-sensitive keys?  Can anyone think of a situation where it's more useful than it is confusing to have two keys with the same name, but differing case?
<br><br>Ben<br><br>-- <br><a href="mailto:ben@crouchingbadger.com">ben@crouchingbadger.com</a> | <a href="http://crouchingbadger.com">http://crouchingbadger.com</a><br>51.717817,-1.225855