I can't seem to find a place to set the font for the Quick term editor.
I want to set all CT fonts to one that displays certain characters correctly (e.g., the diameter character: ⌀), and so wanted to change all my fonts to Arial Unicode MS. However, I can't find anywhere to change the Quick term editor font.
The Quick term editor uses the default font that Java sets for text fields. It seems to be an optimal font that displays the international characters correctly. However, in one of the future updates, the source and target fields of the editor should have the same font types that the user sets for the source and target segment panes.