AJ Kelly aca189b43e change the UserPref names/explanations to match the new format

2012-01-09 04:03:34 -06:00

..

BGAnimations

less ambiguous name

2012-01-08 23:25:26 -06:00

Fonts

added polish fonts in helvetica (default theme)

2011-08-08 03:12:55 +02:00

Graphics

rave result graphics for later

2012-01-08 22:17:19 -06:00

Languages

change the UserPref names/explanations to match the new format

2012-01-09 04:03:34 -06:00

Other

default png crush part 1

2011-05-02 01:44:20 -05:00

Scripts

set AutoSetStyle true by default in default theme

2012-01-07 18:18:25 -06:00

Sounds

remove options density, add back Big, change Jupiter, add less obnoxious editor

2012-01-07 15:26:32 -08:00

metrics.ini

make the menu timer show decimal places

2012-01-08 19:00:28 -06:00

ThemeInfo.ini

Line endings...be normalized!

2011-03-17 01:47:30 -04:00