From 424b246eda9622ccb3bfd1399858944d5b0bf2e3 Mon Sep 17 00:00:00 2001
From: Matthias Hochsteger <matthias.hochsteger@tuwien.ac.at>
Date: Fri, 20 Jan 2017 10:39:16 +0100
Subject: [PATCH] Workaround to scale up fonts on high resolution Linux systems

---
 ng/menustat.tcl | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/ng/menustat.tcl b/ng/menustat.tcl
index f678126a..bfafc763 100644
--- a/ng/menustat.tcl
+++ b/ng/menustat.tcl
@@ -1,3 +1,12 @@
+if { $tcl_platform(os) eq "Linux" && [tk scaling] > 1.5 } {
+  # On some Linux systems, the scaling setting is only applied after
+  # overwriting some default font settings.
+  # This is a workaround to scale up fonts on high resolution displays.
+  font create ngFont -family Helvetica
+  option add *font ngFont
+  ttk::style configure "." -font ngFont
+}
+
 # netgen menus:
 
 menu .ngmenu -tearoff 0  -relief raised -bd 2