diff options
author | Siep Kroonenberg <siepo@cybercomm.nl> | 2020-04-27 18:46:48 +0000 |
---|---|---|
committer | Siep Kroonenberg <siepo@cybercomm.nl> | 2020-04-27 18:46:48 +0000 |
commit | 3e9e014c35b9feb948e7f4bf082a9ec5d45c05a2 (patch) | |
tree | 7f696a68e9b6b4406143b9b8c90b3cacd0ecc913 /Master/texmf-dist | |
parent | 94216ed129278bf70ac83a4fb3c4e8f117fac5fa (diff) |
Tcl GUIs: show again actual scaling in menu. Removed spurious 'attributes -topmost' statements
git-svn-id: svn://tug.org/texlive/trunk@54910 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rwxr-xr-x | Master/texmf-dist/scripts/tlshell/tlshell.tcl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/tlshell/tlshell.tcl b/Master/texmf-dist/scripts/tlshell/tlshell.tcl index a78f494655c..3b2b53b1c9e 100755 --- a/Master/texmf-dist/scripts/tlshell/tlshell.tcl +++ b/Master/texmf-dist/scripts/tlshell/tlshell.tcl @@ -2184,6 +2184,8 @@ proc populate_main {} { .mn.opt add cascade -label [__ "GUI font scaling"] \ -menu .mn.opt.fscale menu .mn.opt.fscale + .mn.opt.fscale add command -label \ + "[__ "Current"]: [format {%.2f} $::tkfontscale]" foreach s {0.6 0.8 1 1.2 1.6 2 2.5 3 3.8 5 6 7.5 9} { .mn.opt.fscale add command -label $s -command "set_fontscale $s" } @@ -2407,6 +2409,7 @@ proc populate_main {} { wm protocol . WM_DELETE_WINDOW {cancel_or_destroy .q .} wm resizable . 1 1 wm state . normal + raise . } # to be invoked at initialization and after a font scaling change @@ -2509,7 +2512,6 @@ proc initialize {} { get_packages_info_local collect_filtered get_repos_from_tlmgr - rebuild_interface }; # initialize initialize |