From af011dabd94b0a0aa8e9026ac4680a09adeb3829 Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
Date: Fri, 20 Dec 2019 12:41:24 +0100
Subject: [PATCH] Gui: [skip ci] use defined font when creating text editor

---
 src/Gui/ViewProviderTextDocument.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Gui/ViewProviderTextDocument.cpp b/src/Gui/ViewProviderTextDocument.cpp
index a625f4a91f..5f28b16071 100644
--- 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(