Ben09880: >I have gotten so far as extracting omni.ja; I can make some sense of it, >but not much.
There is a wealth of information. greprefs.js and defaults/pref/*.js contain a lot of preferences, many of them with comments. To use one of them in the user.js change pref( to user_pref(. defaults/profile/chrome contains examples for the userContent.css and the userChrome.css. And don't forget the DOM Inspector. It is vital for experiments. Hartmut _______________________________________________ support-seamonkey mailing list [email protected] https://lists.mozilla.org/listinfo/support-seamonkey
