view WarFoundry-GTKPref.xml @ 138:33962c2ef550

Re #326: Make army names and sizes modifiable after creation * Add army editing form * Hook up to events to update main window * Add edit army option to Edit menu
author IBBoard <dev@ibboard.co.uk>
date Tue, 11 Oct 2011 21:05:10 +0100
parents 68804784bf6f
children
line wrap: on
line source

<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE preferences[
  <!ELEMENT preference (CDATA|preferenceArr+)> 
  <!ELEMENT preferenceArr (CDATA)>
  <!ATTLIST preference id ID #REQUIRED>
  <!ATTLIST preference type CDATA #REQUIRED>
  <!ATTLIST preferenceArr id ID #REQUIRED>
]>
<preferences>
<preference id="language" type="System.String">en</preference>
<preference id="currSystem" type="System.String"></preference>
<preference id="logLevel" type="System.String">Info</preference>
</preferences>