This seems to be a good possibility. Both Tk and X11 will do
'substitutions' for you to give you "a font" instead of leaving you
high and dry. So it looks like Tk (or X11) is not finding the fixed
family and is substituting in Nimbus Sans as the alternative.
On my Slackware system (where I know fixed is working, as I use it for
my terminal font) I can reconfigure TkDefaultFont:
$ rlwrap wish
% font actual TkDefaultFont
-family {DejaVu Sans} -size -12 -weight normal -slant roman -underline 0 -overstrike 0
% font configure TkDefaultFont -family fixed -size 13 -weight normal -slant roman -underline 0 -overstrike 0
% font actual TkDefaultFont
-family Fixed -size 13 -weight normal -slant roman -underline 0 -overstrike 0
%
> Another question: is 'font configure' intended to be permanent?
> Because when I start another wish, TkDefaultFont is back to the size
> 9.
No, it only impacts the current Tk interpreter within which you run it.
If you want to make it a user wide change, you might be able to do so
by adding it to a ~/.wishrc file, but then note that it would only be
global for the user to whom that .wishrc belongs.