j
k
j a
j l
Thanks, @epo. I'd only considered new prefixes, but modifying the console font in an existing prefix could change the font family, so we should handle that case too.
I've updated the patch.
Back to the thread
Back to the list