To modify my "xman" fonts, I made these additions to my .Xdefaults
file in my home directory
(note 1 - the values are wrapped onto the following line.
note 2 - the settings for manualFontItalic and manualFontBold do
not SEEM to be taking effect, and directoryFontNormal is
defininitely not taking effect, but the my main concern,
manualFontNormal, definitely IS working -- anybody have any further
ideas as to why the aforementioned ineffective settings are NOT
taking effect?):
DXsession.XMan.command: xman
*SimpleMenu*Font:
-*-new cent*-medium-r-normal--*-180-*-*-*-*-iso8859-*
*SimpleMenu*label*Font:
-*-new cent*-medium-r-normal--*-180-*-*-*-*-iso8859-*
*manualFontNormal:
-*-new cent*-medium-r-normal--*-180-*-*-*-*-iso8859-*
*manualFontItalic:
-*-new cent*-medium-i-normal--*-180-*-*-*-*-iso8859-*
*manualFontBold:
-*-new cent*-bold-r-normal--*-240-*-*-*-*-iso8859-*
*directoryFontNormal:
-*-new cent*-medium-r-normal--*-180-*-*-*-*-iso8859-*
Thanks to following for clues:
Peter Stern peter_at_wiscpa.weizmann.ac.il
Ken Teh teh_at_musky.phy.anl.gov
Stam Nicolis nicolis_at_chiral.phys.univ-tours.fr
_________________________ Their responses _________________________________
Subject: Re: Q: How to change xman man page fonts?
Author: peter_at_wiscpa.weizmann.ac.il_at_US-INTERNET at US-IN-GW
Date: 7/31/96 5:55 PM
Dear Rory:
Look at the man page for xman (if you can read it ;-)). It tells you
that you can change the fonts in the application resource file, e.g.
/usr/lib/X11/app-defaults/Xman with *manualFontNormal: and you
specify the font. If it's there, then you simply need to change the
point size part in field 8, e.g.
-adobe-courier-medium-r-normal--0-180-0-0-p-0-iso8859-1
or
-*-new cent*-bold-r-normal--*-140-*-*-*-*-iso8859-*
This can also be put in the appropriate users home directory file which
I think is .Xresources and which is a bit trickier since it has to
specify the motif application.
I hope that this was clearer than mud. I just know the general idea.
Best wishes,
Peter Stern
===============================================================================
Look at /usr/lib/X11/app-defaults/Xman for the application defaults and on the
man page for the font resource name.
This is from memory, but I believe what you want to do is to create a file
called Xman with the following 2 lines:
*manualBrowser*manualPage*font: name_of_font *manualBrowser*directory*font:
name_of_font
I normally put my application defaults in my own home directory under
$HOME/lib/X11/app-defaults. Then, I create an environment variable called
XUSERFILESEARCHPATH as follows:
export XUSERFILESEARCHPATH=$HOME/lib/X11/app-defaults/%N%S
This way, I can tailor the defaults for each X application.
Good luck!
===============================================================================
Hi,
If you look in the xman man page you'll find a section on "Application
Resources", that has the answer to your question.
Hope this helps
Stam
Received on Fri Aug 02 1996 - 18:28:53 NZST