FvwmIconMan default font?

Configuration General Questions
1

Looking at the man page for FvwmIconMan it says the following for Font:

*FvwmIconMan: [id] font font Specifies the font to be used for labeling the buttons. The default is 8x13.

Now, to my knowledge, 8x13 would be the size, not the font type. What is the default font for FvwmIconMan?

2

8x13 is an alias for the fixed bitmap font. Looking in /usr/share/fonts/X11/misc/fonts.alias, I see this…

8x13         -misc-fixed-medium-r-normal--13-120-75-75-c-80-iso8859-1
3

You can use xft fonts too, font xft:sans:size=10:bold, as well.

4

I noticed that difference. With the default and just selecting size, the font (although not the prettiest) is properly centered. It’s when I’m using the font in the default config file:

*FvwmIconMan: Font "xft:Sans:Bold:size=8:antialias=True"

that it is not centered. I’ll try other fonts later to see if it’s just this particular font.