Re: X11 resolution
Re: X11 resolution
- Subject: Re: X11 resolution
- From: Harald Hanche-Olsen <email@hidden>
- Date: Tue, 16 Dec 2008 08:01:59 +0100 (CET)
+ Jeremy Huddleston <email@hidden>:
nor does it offer a preference to let the user set it (a poor
second best).
Sure it does. It's the same preference available to you in every
other X11 environment. Edit the /usr/X11/bin/startx script and/or
set the values in ~/.Xresources.
... ah, now I see it ... the appropriate man page to check is
Xserver, and it says
-dpi resolution
sets the resolution for all screens, in dots per inch. To be
used when the server cannot determine the screen size(s) from
the hardware.
It might be an idea having the display resolution being an option in
the org.x.X11 preferences. Here is a proposed (untested!) patch.
Would you consider putting something like it in the official
distribution?
--- /usr/X11/bin/startx 2008-12-07 06:54:13.000000000 +0100
+++ /var/tmp/startx 2008-12-16 07:58:17.000000000 +0100
@@ -86,6 +86,10 @@
defaults write $X11_PREFS_DOMAIN nolisten_tcp -bool true
fi
+if ! defaults read $X11_PREFS_DOMAIN dpi >& /dev/null ; then
+ defaults write $X11_PREFS_DOMAIN dpi -int 96
+fi
+
# First, start caching fonts
if [ x`defaults read $X11_PREFS_DOMAIN cache_fonts` = x1 ] ; then
if [ -x /usr/X11/bin/font_cache ] ; then
@@ -113,6 +117,13 @@
defaultserverargs="$defaultserverargs -nolisten tcp"
fi
+dpi=`defaults read $X11_PREFS_DOMAIN dpi`
+if [ x$dpi = x ] ; then
+ :
+else
+ defaultserverargs="$defaultserverargs -dpi $dpi"
+fi
+
for ((d=0; ; d++)) ; do
[[ -e /tmp/.X$d-lock ]] || break
done
- Harald
_______________________________________________
Do not post admin requests to the list. They will be ignored.
X11-users mailing list (email@hidden)
This email sent to email@hidden