Michael Kaply <[EMAIL PROTECTED]> wrote in message news:<[EMAIL PROTECTED]>... > Did you try switching themes via the menu instead of preferences?
Nope, of course not ;-( Beeing used to change those stuff using Preferences, I didn't yet notice it at all, that there is a menu option, too. This worked and after doing it once I now also can change it in the preferences. But after pressing the OK-button, Mozilla immediately terminates. Many thanks Wolfi
