Re: How to display not abbreviated newsgroups-names ?

[Gerald Hein]

Holger Metzger wrote:

> 
> In your user.js (or prefs.js):
> 
> user_pref("mail.server.default.abbreviate",false);
> 


Thanks a lot. Thats it ! Now I'm rid of abbreviated names.

But where can I lookup such informations ? Are the possible contents of 
"prefs.js" explained in the help menu (I didn't find any information 
concerning prefs.js ...) ?

Regards,
Gerald