diff options
| author | Siep Kroonenberg <siepo@cybercomm.nl> | 2021-02-11 15:25:27 +0000 |
|---|---|---|
| committer | Siep Kroonenberg <siepo@cybercomm.nl> | 2021-02-11 15:25:27 +0000 |
| commit | 7ed849b53511dab41848dcbb5b1fa9b753761456 (patch) | |
| tree | 5528ad74cd5d5434a24a4a807aa7f037ccdf47a5 | |
| parent | 6cf0c8fdcd4d02efd21775c85e46d84e07194b7a (diff) | |
Localization tweaks
git-svn-id: svn://tug.org/texlive/trunk@57712 c570f23f-e606-0410-a88d-b1316a301751
| -rwxr-xr-x | Master/texmf-dist/scripts/tlshell/tlshell.tcl | 2 | ||||
| -rwxr-xr-x | Master/tlpkg/installer/install-tl-gui.tcl | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/tlshell/tlshell.tcl b/Master/texmf-dist/scripts/tlshell/tlshell.tcl index 50f863e6084..1afe782355b 100755 --- a/Master/texmf-dist/scripts/tlshell/tlshell.tcl +++ b/Master/texmf-dist/scripts/tlshell/tlshell.tcl @@ -2408,7 +2408,7 @@ proc populate_main {} { -menu .mn.fscale menu .mn.fscale .mn.fscale add command -label \ - "[__ "Current"]: [format {%.2f} $::tkfontscale]" + "[__ "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.fscale add command -label $s -command "set_fontscale $s" } diff --git a/Master/tlpkg/installer/install-tl-gui.tcl b/Master/tlpkg/installer/install-tl-gui.tcl index 34c4de70602..ee17defe420 100755 --- a/Master/tlpkg/installer/install-tl-gui.tcl +++ b/Master/tlpkg/installer/install-tl-gui.tcl @@ -1376,7 +1376,7 @@ proc run_menu {} { if {[llength $::langs] > 1} { menu .mn.lang - .mn add cascade -label [__ "Language"] -menu .mn.lang + .mn add cascade -label [__ "GUI language"] -menu .mn.lang foreach l [lsort $::langs] { if {$l eq $::lang} { set mlabel "$l *" @@ -1390,7 +1390,7 @@ proc run_menu {} { menu .mn.fscale .mn add cascade -label [__ "Font scaling"] -menu .mn.fscale .mn.fscale add command -label \ - [__ "Current" [format {: %.2f} $::tkfontscale]] + "[__ "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.fscale add command -label $s -command "set_fontscale $s" } |