I have given you duff information.
On a Linux machine (I don't know about Windows), there are two copies of the 'preferences.txt' file. One in the arduino/lib directory and another one in a hidden directory called 'arduino'. The second one has the settings for the editor font.
Out of curiosity I will find a Windows box now to see if it is the same.