8 commits

Author	SHA1	Message	Date
eehouse	97569ae6d0	add advanced pref to hold dict download url; use it.	2010-04-08 04:12:08 +00:00
eehouse	b20296fbd2	First cut at a color prefs editor.	2010-03-21 03:11:29 +00:00
eehouse	a727c3bb2b	get rid of tmp font-flags config preference	2010-03-09 06:29:31 +00:00
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