diff options
| -rw-r--r-- | data/default-prefs-common.js | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/data/default-prefs-common.js b/data/default-prefs-common.js index 102580354..a43858322 100644 --- a/data/default-prefs-common.js +++ b/data/default-prefs-common.js @@ -144,6 +144,13 @@ pref("print.postscript.cups.enabled", false); // deactivate PAPI too (will be added in https://bugzilla.mozilla.org/show_bug.cgi?id=317450) pref("print.postscript.papi.enabled", false); +// print margins used for the page header and footer, measured in hundredths of an inch +// see http://bugzilla.gnome.org/show_bug.cgi?id=346110 +pref("print.printer_PostScript/default.print_edge_bottom", 15); +pref("print.printer_PostScript/default.print_edge_left", 15); +pref("print.printer_PostScript/default.print_edge_right", 15); +pref("print.printer_PostScript/default.print_edge_top", 15); + // sites stealthly storing unlimited amount of data? no thanks pref("dom.storage.enabled", false); |