I can't remember if I tried setting the font temporarily to something larger just before the editor was opened, so maybe it's worth trying yourself.
I think, exactly that is our problem. What is "the
I already tried SetFont( ... ) with a font opened by "OpenFont(...)" But with no success.
There also is a font called "current_font" as a member of struct "ivstate" in "inkinternal.h".
And I can find
extern ifont *title_font, *window_font, *header_font, *menu_s_font, *menu_n_font;
extern ifont *butt_n_font, *butt_s_font;
in "inkinternal.h" as well.
I changed any of them - with no success.