TEdit - font used in char looks menu changes for no apparent reason

[nbriggs]

This was in TEdit from

commit 3c96486 (HEAD -> rmk36--Tedit-fifth-round-2, origin/rmk36--Tedit-fifth-round-2)

I selected a line of text in a document and then opened the Expanded Menu > Char Looks and did a "Show".

Then I selected the next line, and did a "Show". Both were Modern 10 MRR fonts being shown, but the font used to display the font size changed by a pixel or two.
Compare the distance between the curly bracket in Size: {10} and the tip of the 1 in the two images.