Added new FontSize and UseThemeFontSize properties to optionally set editor control's font size directly, ignoring theme's font size.
Authored by: delphidabbler 2013-11-07
Parent: [r3722]
Child: [r3724]
