NumberProperties vere treated as string. This fixes previous error with game option caching.
I beleive the game.dtd should be changed so that omitting type is not allowed.
for instance <property name="neutralCharge" value="0"/> and <property name="mapName" value="big_world" editable="false"/> both ommits the type, but one is most likely an integer, but how would the code know? and it was editable which editor would you show it in....?
Log in to post a comment.