Running KMD 13 on Win 10 Pro 64-bit the key combination SHIFT+CTRL+F brings up a font selector for “Character Font”. This is setting the font for some of the text in the code, but not at all for Characters when running the F5 Test function.
Is this a bug? Is there another way to set the font for testing?—Consolas is less than ideal.
Yes, I expect this is missing from the user guide – along with many other details :(. The Keyman Developer user guide needs love – unfortunately we don’t currently have anyone on the team with capacity to work on it.