2 commits

Author	SHA1	Message	Date
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
eehouse	e6871c0840	add .xml file describing prefs (forgotten before); remove file menu.	2010-02-07 05:17:38 +00:00