[PATCH] sl#2259: Set Firefox default DPI to 96

Bernie Innocenti bernie at codewiz.org
Sun Aug 29 09:20:39 EDT 2010


---
 modules/x11/kspost.60.misc.inc |   11 ++++++++---
 1 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/modules/x11/kspost.60.misc.inc b/modules/x11/kspost.60.misc.inc
index a48e352..ae6dd56 100644
--- a/modules/x11/kspost.60.misc.inc
+++ b/modules/x11/kspost.60.misc.inc
@@ -79,11 +79,16 @@ EOF
 
 chown -R olpc: /home/olpc/.scim
 
-# disable Firefox's OGG plugin in favour of totem, because no hw accel is
-# available. #10152
-[ -e /usr/lib/xulrunner-*/greprefs/all.js ] && \
+if [ -e /usr/lib/xulrunner-*/greprefs/all.js ]; then
+	# disable Firefox's OGG plugin in favour of totem, because no hw accel is
+	# available. #10152
 	sed -i -e 's:\(media.ogg.enabled",\) true:\1 false:g' /usr/lib/xulrunner-*/greprefs/all.js
 
+	# sl#2259: The layout.css.dpi default setting results in a too big layout and fonts
+	sed -i -e 's:\(layout.css.dpi",\) -1:\1 96:' /usr/lib/xulrunner-*/greprefs/all.js
+fi
+
+
 # remove gstreamer pulse element so that totem doesn't try to use it (#10158)
 [ -e /usr/lib/gstreamer-0.10/libgstpulse.so ] && rm /usr/lib/gstreamer-0.10/libgstpulse.so
 
-- 
1.7.2.2




More information about the Devel mailing list