The attribute "id=" should only be used for unique identifiers.
This does not identify a unique location.
> > Is there some reason this is "area_id" rather than "id"? We have
> > a pretty well-established convention of using id= everywhere for
> > unique internal identifiers; I think it would be good to continue that.
> >
_________________________________________________________________
Hotmail: Powerful Free email with security by Microsoft.
https://signup.live.com/signup.aspx?id=60969_______________________________________________
Wesnoth-dev mailing list
Wesnoth-dev@gna.org
https://mail.gna.org/listinfo/wesnoth-dev
