diff options
author | Siep Kroonenberg <siepo@cybercomm.nl> | 2021-01-15 17:04:30 +0000 |
---|---|---|
committer | Siep Kroonenberg <siepo@cybercomm.nl> | 2021-01-15 17:04:30 +0000 |
commit | fc876bad5f909ab3142bdfa1da5c52e79c73fbd7 (patch) | |
tree | eb9abc1d25338e2a486555201cbbdb154d96de5f /Master/tlpkg/tltcl | |
parent | ae7784dc15ced1fb269db039808b4694191c6e4d (diff) |
List only binaries installed platforms; revised marking logic; various cosmetic
git-svn-id: svn://tug.org/texlive/trunk@57426 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tltcl')
-rw-r--r-- | Master/tlpkg/tltcl/tltcl.tcl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/tlpkg/tltcl/tltcl.tcl b/Master/tlpkg/tltcl/tltcl.tcl index ff5c273c053..562b148125e 100644 --- a/Master/tlpkg/tltcl/tltcl.tcl +++ b/Master/tlpkg/tltcl/tltcl.tcl @@ -478,11 +478,11 @@ set gry [ttk::style lookup TButton -foreground disabled] # 'default' padding proc ppack {wdg args} { ; # pack command with padding - pack $wdg {*}$args -padx 3 -pady 3 + pack $wdg {*}$args -padx 3pt -pady 3pt } proc pgrid {wdg args} { ; # grid command with padding - grid $wdg {*}$args -padx 3 -pady 3 + grid $wdg {*}$args -padx 3pt -pady 3pt } # unicode symbols as fake checkboxes in ttk::treeview widgets @@ -664,7 +664,7 @@ if {$::tcl_platform(platform) eq "unix"} { wm title .browser [__ "Browse..."] # wallpaper - pack [ttk::frame .browser.bg -padding 3] -fill both -expand 1 + pack [ttk::frame .browser.bg -padding 3pt] -fill both -expand 1 # ok and cancel buttons pack [ttk::frame .browser.fr1] \ |