On Feb 27, 2013, at 10:53 PM, Анатолий Шарифулин <sharifulin at gmail.com> wrote: > […] Please tell me how can I change these settings? To change the font: View → Font → Show Fonts To change theme: View → Theme