Gui: [skip ci] use defined font when creating text editor

2019-12-20 12:41:24 +01:00
parent d969581ff8
commit af011dabd9
1 changed files with 1 additions and 0 deletions
--- a/src/Gui/ViewProviderTextDocument.cpp
+++ b/src/Gui/ViewProviderTextDocument.cpp
@@ -85,6 +85,7 @@ bool ViewProviderTextDocument::doubleClicked()
    if (!activateView()) {
        editorWidget = new QPlainTextEdit {};
        editorWidget->setReadOnly(ReadOnly.getValue());
+        FontName.touch();
        SyntaxHighlighter.touch();

        getMainWindow()->addWindow(