Hello and a general thank you and respect for this great text editor!
i'm trying to integrate the ui with my desktop style and would like to use the same font.
There's a lot of nice user interface themes; but is it possible to use a certain font once and for all, maybe put it in user settings? right now i have to edit every theme file, find every occurence of "font*" and add a line: font.face = ...
thanks in advance,