Hartmut Figge: [omni.ja] >It's a zip file. Of sorts. unzip can handle it. :)
Perhaps in greater detail. hafi@i5-64 ~/ztmp/om $ ls -1 omni.ja hafi@i5-64 ~/ztmp/om $ unzip omni.ja [...] hafi@i5-64 ~/ztmp/om $ ls -1 chrome chrome.manifest components contentaccessible defaults greprefs.js hyphenation modules omni.ja res update.locale hafi@i5-64 ~/ztmp/om $ ls -1 defaults/pref/ browser-prefs.js composer.js debugger.js devtools.js devtools-startup-prefs.js mailnews.js mdn.js services-sync.js smime.js suite-l10n.js webide-prefs.js But you are right, changing the value of browser.tabs.closeButtons doesn't work. That's a bug because browser-prefs.js tells otherwise. Hartmut _______________________________________________ support-seamonkey mailing list [email protected] https://lists.mozilla.org/listinfo/support-seamonkey
