Xman fonts

I think xman is useful sometimes.
But after installing X11R7.2, the fonts in the directory and the oblique fonts looked too big. The problem was that the fontpaths for 75dpi and 100dpi got inverted when I recreated /etc/X11/xorg.conf to suit the location /usr instead of the previous /usr/X11R6.

After reorganizing /etc/X11/xorg.conf so that the 75dpi fonts preceed the 100dpi fonts, it looks better to me.

I spent too much time thinking the problem was caused by the newer xorg.
Perhaps this diff can help explain the difference:

*** xorg.conf.twisted 2008-08-16 17:48:43.000000000 -0400
--- xorg.conf 2008-08-16 15:56:24.000000000 -0400
***************
*** 14,17 ****
FontPath "/usr/lib/X11/fonts/Type1/"
- FontPath "/usr/lib/X11/fonts/100dpi/"
FontPath "/usr/lib/X11/fonts/75dpi/"
EndSection
--- 14,17 ----
FontPath "/usr/lib/X11/fonts/Type1/"
FontPath "/usr/lib/X11/fonts/75dpi/"
+ FontPath "/usr/lib/X11/fonts/100dpi/"
EndSection

This /usr/share/applications/xman.desktop file can show how to run xman with the directory and the manual pages. It can be handy for browsing for a man page that might be interesting.

[Desktop Entry]
Version=1.0
Type=Application
Encoding=UTF-8
Name=Xman
Comment=Man Page Browser
# For X11R6 this won't work in a desktop file
#Exec=MANPATH=/usr/share/man:/usr/X11R6/man /usr/X11R6/bin/xman -bothshown -notopbox
# So, for X11R6
# cat > /usr/bin/XMAN << EOF
#MANPATH=/usr/share/man:/usr/X11R6/man /usr/X11R6/bin/xman -bothshown -notopbox
#EOF
#Exec=XMAN
# For X11R7, can use:
Exec=xman -bothshown -notopbox
Icon=/usr/share/icons/hicolor/48x48/apps/xfce-man.png
#Icon=gnome-help.png
StartupNotify=false
Terminal=false
Categories=System;Utility;

I realized what the problem was when I was fooling around with xfontsel which I found in the man pages. I had tracked the settings for xman to a file called Xman in the /usr/share/X11/app-defaults directory. Looking at that file, I saw
*manualFontItalic: -*-courier-medium-o-*-*-*-120-*-*-*-*-*-*

Courier oblique is larger at 100dpi


And ordinary size at 75dpi


I remain mostly clueless about fonts, but I know this worked.