aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCosimo Cecchi <cosimoc@src.gnome.org>2007-11-12 08:26:36 +0800
committerCosimo Cecchi <cosimoc@src.gnome.org>2007-11-12 08:26:36 +0800
commit4d37060f1f4c649bd67042aab4741935e21194c6 (patch)
tree03987baf4733e7f23f97d03515fefb3d87194659
parent3f9e582370ff438eecd77096b07de259e2e8561e (diff)
downloadgsoc2013-epiphany-4d37060f1f4c649bd67042aab4741935e21194c6.tar.gz
gsoc2013-epiphany-4d37060f1f4c649bd67042aab4741935e21194c6.tar.zst
gsoc2013-epiphany-4d37060f1f4c649bd67042aab4741935e21194c6.zip
Sets page header and footer margins to a reasonable value when printing.
Workaround for bug #346110. Patch by Dale Parquette. svn path=/trunk/; revision=7670
-rw-r--r--data/default-prefs-common.js7
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);