NicksonYap:
It's so good, you might want to include it in the Arduino ERW as the default font type.
Hmmm ... I thought I changed the preferences file correctly but now I think it's defaulting to some other font becasue the font isn't smooth like the example, and I do see I installed them properly because they are in the fonts listing when I bring up Fonts under control panel.
How exactly do you specify these fonts in the preferences file on the line -
editor.font=SourceCodePro,Regular,17
^^^ That isn't doing the job.