Peter Lairo wrote:
> Pratik wrote:
>
>>... delete <profile-dir>/chrome/user-skins.rdf and
>>start mozilla. It will revert to the original skin.
>>
>
> What happens to the 3rd party theme files?
>
> Are they orphaned?
>
> Is the user-skins.rdf regenerated (with downloaded themes included)?
>
While I'm not a 100% sure, I think user-skins.rdf just tells Mozilla
which skins to use for displaying. It's not telling Mozilla all the
skins available in the system. I think that functionality is there in
all-skins.rdf. So basically by deleting user-skins, you're making
Mozilla 'forget' the last skin it used and Mozilla will regenerate that
file and use Classic theme when it opens up.
So all your third party skins will be there and u can change to any one
of them.
Alternatively, if you're really a chrome/rdf guru, you can go in and
modify user-skins.rdf and make it point to the theme of choice (instead
of going thru starting Mozilla, changing to a well-behaved third party
skin, and then restarting).
- Pratik
