5 commits

Author	SHA1	Message	Date
eehouse	8c9b710e61	fix old typo: colors should be different	2010-02-25 04:51:06 +00:00
eehouse	3fd42f8510	temporarily add options to prefs to choose flags passed to Paint for ... drawing text	2010-02-24 04:29:28 +00:00
eehouse	996351cc9c	minor changes: rearrange menus, new strings, etc.	2010-02-14 22:05:08 +00:00
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