Philip TAYLOR wrote:
David E. Ross wrote:I put the following into my user.js file in my profile: user_pref("browser.bookmarks.autoExportHTML", true); // automatically export bookmarks into an HTML file The first line is what does it; don't forget the semi-colon (;) at the end of the line.Why does it need a semi-colon at the end of the line if the language is JavaScript ?
Because it's not actually a random JS file but a file that happens to contain valid JS code and have a .js extension, but which is otherwise restricted to a certain syntax of its contents. AFAIK it's not even read by the normal JS interpreter but by a specific prefs parser.
This is similar to bookmarks.html, which contains mostly valid HTML but which is restricted to a certain syntax, too. Both files are expected to only be written by machines (e.g. Mozilla-based software). If you know the format, you can edit them manually, but any mistake you make will almost certainly break the functionality of automated parsing of the contents.
HTH Jens -- Jens Hatlak <http://jens.hatlak.de/> SeaMonkey Trunk Tracker <http://smtt.blogspot.com/> _______________________________________________ support-seamonkey mailing list [email protected] https://lists.mozilla.org/listinfo/support-seamonkey
