eehouse 4a12409d97 Add colors etc. to prefs dialog; wire player colors to be set from ... prefs rather than hard-coded. Remaining new prefs entries still unused.		2010-02-07 05:54:26 +00:00
..
xwprefs.xml	Add colors etc. to prefs dialog; wire player colors to be set from	2010-02-07 05:54:26 +00:00