Preference clobbering bug

[RyJones]

When you go to change your preferences the default theme (ocean) is overwritten with Bugsy. Whatever your current theme is should be selected or something. With only four themes a radio button would seem to be better than a pick list.

[RyJones]

When you go to change your preferences the default theme (ocean) is overwritten with Bugsy. Whatever your current theme is should be selected or something. With only four themes a radio button would seem to be better than a pick list.