[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