ForkMaster/netgen
1
0
Fork 0
mirror of https://github.com/NGSolve/netgen.git synced 2024-12-24 21:10:33 +05:00
Code Issues Packages Projects Releases Wiki Activity

Workaround to scale up fonts on high resolution Linux systems

Browse Source
This commit is contained in:
Matthias Hochsteger 2017-01-20 10:39:16 +01:00
parent cc0f14c14c
commit 424b246eda
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
ng/menustat.tcl
View File

@ -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