From 288239c443dfd4b0f6eec83cc6b7fb09982e6c68 Mon Sep 17 00:00:00 2001
From: triplus <triplus@users.noreply.github.com>
Date: Fri, 3 Mar 2017 19:27:10 +0100
Subject: [PATCH] Configurable coordinate info font size in Sketcher

Useful on HiDPI displays and occasionally requested feature on the forum.
---
 src/Mod/Sketcher/Gui/ViewProviderSketch.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Mod/Sketcher/Gui/ViewProviderSketch.cpp b/src/Mod/Sketcher/Gui/ViewProviderSketch.cpp
index 0e4e889db..50bddad16 100644
--- a/src/Mod/Sketcher/Gui/ViewProviderSketch.cpp
+++ b/src/Mod/Sketcher/Gui/ViewProviderSketch.cpp
@@ -5200,8 +5200,10 @@ void ViewProviderSketch::createEditInventorNodes(void)
     CoordTextMaterials->diffuseColor = cursorTextColor;
     Coordsep->addChild(CoordTextMaterials);
 
+    int fontSize = hGrp->GetInt("EditSketcherFontSize", 17);
+
     SoFont *font = new SoFont();
-    font->size = 10.0;
+    font->size.setValue(fontSize);
     Coordsep->addChild(font);
 
     edit->textPos = new SoTranslation();