增加公式编辑器设置字体和背景色的功能

TB0518

提个建议：公式编辑器增加设置字体和背景色的功能，并且，把设置字体和背景的功能写到菜单里，让用户能很快适应编程环境。
理由：1.TB的用户也不少。2.长期面对不适应眼睛的白色背景，对眼睛是巨大的伤害。眼睛太重要了。