diff options
author | Karl Berry <karl@freefriends.org> | 2020-06-11 21:09:40 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-06-11 21:09:40 +0000 |
commit | ebcfbe594744d1aee8941b4036473bd9941fb1fe (patch) | |
tree | 62fd1466c5497512e2c4a8c13de7afc94b5ed12b /Build | |
parent | a1a946ff7eceabb8096d4bec23510234a240af84 (diff) |
xindex (11jun20)
git-svn-id: svn://tug.org/texlive/trunk@55516 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl | 21 | ||||
-rwxr-xr-x | Build/source/texk/texlive/linked_scripts/xindex/xindex.lua | 2 |
2 files changed, 14 insertions, 9 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl b/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl index 363f0ff6e60..0db1b8d86ac 100755 --- a/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl +++ b/Build/source/texk/texlive/linked_scripts/tlshell/tlshell.tcl @@ -2412,14 +2412,8 @@ proc populate_main {} { raise . } -# to be invoked at initialization and after a font scaling change -proc rebuild_interface {} { - foreach c [winfo children .] {catch {destroy $c}} - - # for busy/idle indicators - set ::busy [__ "Idle"] - populate_main - # and now redisplay all data +proc display_all_data {} { + # (re)display all data if {$::tcl_platform(platform) eq "windows"} { .topfr.ladmin configure -text \ [expr {$::multiuser ? [__ "Multi-user"] : [__ "Single-user"]}] @@ -2432,6 +2426,16 @@ proc rebuild_interface {} { show_repos display_packages_info display_updated_globals +} + +# to be invoked at initialization and after a font scaling change +proc rebuild_interface {} { + foreach c [winfo children .] {catch {destroy $c}} + + # for busy/idle indicators + set ::busy [__ "Idle"] + populate_main + display_all_data if {$::tcl_platform(platform) eq "windows"} {wm deiconify .} } @@ -2513,6 +2517,7 @@ proc initialize {} { get_packages_info_local collect_filtered get_repos_from_tlmgr + display_all_data }; # initialize initialize diff --git a/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua b/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua index d6d53ff0e3b..984d6fb8e3b 100755 --- a/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua +++ b/Build/source/texk/texlive/linked_scripts/xindex/xindex.lua @@ -8,7 +8,7 @@ ----------------------------------------------------------------------- xindex = xindex or { } - local version = 0.24 + local version = 0.25 xindex.version = version --xindex.self = "xindex" |