You have to use the full name of of the font. If it's called Times New Roman, then that is what you need to put in the editor.font entry.
You have to use the full name of of the font. If it's called Times New Roman, then that is what you need to put in the editor.font entry.