It is only possible to select the size of the font, there is no option to adjust the font type. Font picker placed in the Tools - Preferences - Appearance in the Editor would enhance the user experience. 

Current behavior:

Only the font size can be changed. 

Requested behavior:

Various fonts can be selected for the translation table, comments, and in-context preview.

Use case:

Some users would prefer a different font for their language as they consider it easier to read, for example Times New Roman for texts in Arabic.