#filter dumbComments emptyLines substitution // This Source Code Form is subject to the terms of the Mozilla Public // License, v. 2.0. If a copy of the MPL was not distributed with this // file, You can obtain one at http://mozilla.org/MPL/2.0/. pref("editor.author", ""); pref("editor.text_color", "#000000"); pref("editor.link_color", "#0000FF"); pref("editor.active_link_color", "#000088"); pref("editor.followed_link_color", "#FF0000"); pref("editor.background_color", "#FFFFFF"); pref("editor.use_background_image", false); pref("editor.default_background_image", ""); pref("editor.use_custom_default_colors", 1); pref("editor.hrule.height", 2); pref("editor.hrule.width", 100); pref("editor.hrule.width_percent", true); pref("editor.hrule.shading", true); // center pref("editor.hrule.align", 1); pref("editor.table.maintain_structure", true); pref("editor.prettyprint", true); pref("editor.history.url_maximum", 10); pref("editor.publish.", ""); pref("editor.lastFileLocation.image", ""); pref("editor.lastFileLocation.html", ""); pref("editor.save_associated_files", true); pref("editor.always_show_publish_dialog", false); // // What are the entities that you want Mozilla to save using mnemonic // names rather than numeric codes? E.g. If set, we'll output // otherwise, we may output 0xa0 depending on the charset. // // "none" : don't use any entity names; only use numeric codes. // "basic" : use entity names just for & < > " for // interoperability/exchange with products that don't support more // than that. // "latin1" : use entity names for 8bit accented letters and other special // symbols between 128 and 255. // "html" : use entity names for 8bit accented letters, greek letters, and // other special markup symbols as defined in HTML4. // //pref("editor.encode_entity", "html"); #ifndef XP_MACOSX #ifdef XP_UNIX pref("editor.disable_spell_checker", false); pref("editor.dont_lock_spell_files", true); #endif #endif pref("editor.CR_creates_new_p", false); // Pasting images from the clipboard, order of encoding preference: // JPEG-PNG-GIF=0, PNG-JPEG-GIF=1, GIF-JPEG-PNG=2 pref("clipboard.paste_image_type", 1);