From 3e9e014c35b9feb948e7f4bf082a9ec5d45c05a2 Mon Sep 17 00:00:00 2001 From: Siep Kroonenberg Date: Mon, 27 Apr 2020 18:46:48 +0000 Subject: 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 --- Master/texmf-dist/scripts/tlshell/tlshell.tcl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Master/texmf-dist/scripts') 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 -- cgit v1.2.3