@plrk
15 years, 4 months ago
Changing the name of the theme you’d like to use as default to the name of the theme that is supposed to be the default might work too. (An awfully dirty hack, though.)
