historyfont font [encoding] [size]

Default Command lineScope Available in
Times-Roman 16
serif 16
nonetune abcm2ps
abc2svg

Set the history font.