texteditor: fix font on windows