summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSiep Kroonenberg <siepo@cybercomm.nl>2021-02-11 15:25:27 +0000
committerSiep Kroonenberg <siepo@cybercomm.nl>2021-02-11 15:25:27 +0000
commit7ed849b53511dab41848dcbb5b1fa9b753761456 (patch)
tree5528ad74cd5d5434a24a4a807aa7f037ccdf47a5
parent6cf0c8fdcd4d02efd21775c85e46d84e07194b7a (diff)
Localization tweaks
git-svn-id: svn://tug.org/texlive/trunk@57712 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/texmf-dist/scripts/tlshell/tlshell.tcl2
-rwxr-xr-xMaster/tlpkg/installer/install-tl-gui.tcl4
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"
}