diff options
author | Siep Kroonenberg <siepo@cybercomm.nl> | 2021-02-11 13:09:50 +0000 |
---|---|---|
committer | Siep Kroonenberg <siepo@cybercomm.nl> | 2021-02-11 13:09:50 +0000 |
commit | 6cf0c8fdcd4d02efd21775c85e46d84e07194b7a (patch) | |
tree | 328ad542f5f9b93656f8ede14cff486aff085663 /Master/tlpkg/tltcl | |
parent | bafb328203deff338e0b786a80dc845208cb3392 (diff) |
Tcl/Tk GUIs: better support for font scaling and HiDPI
git-svn-id: svn://tug.org/texlive/trunk@57711 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tltcl')
-rw-r--r-- | Master/tlpkg/tltcl/tltcl.tcl | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/Master/tlpkg/tltcl/tltcl.tcl b/Master/tlpkg/tltcl/tltcl.tcl index 562b148125e..6c673ddee3f 100644 --- a/Master/tlpkg/tltcl/tltcl.tcl +++ b/Master/tlpkg/tltcl/tltcl.tcl @@ -454,13 +454,10 @@ if {[info exists ::invoker] && $::invoker eq "tlshell"} { set ::tkfontscale 10 } } -if {$::tkfontscale eq ""} { - if {[winfo vrootheight .] > 2000 && [winfo vrootwidth .] > 3000} { - set ::tkfontscale 2 - } else { - set ::tkfontscale 1 - } -} +# most systems with a HiDPI display will be configured for it. +# set therefore the default simply to 1. +# users still have the option to scale fonts via the menu. +if {$::tkfontscale eq ""} {set ::tkfontscale 1} redo_fonts # icon |