Fabian Mueller <fabianmuell...@gmx.de>:
> Got the thing working but renamed it to [named_area].
>
> [named_area]
> <standard location filter>
> area_id="lovely place of doom"
> [/named_area]
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.
--
<a href="http://www.catb.org/~esr/";>Eric S. Raymond</a>
_______________________________________________
Wesnoth-dev mailing list
Wesnoth-dev@gna.org
https://mail.gna.org/listinfo/wesnoth-dev
