diff options
| -rwxr-xr-x | Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui.pl b/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui.pl index dd6dcb0da58..b7da39b5175 100755 --- a/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui.pl +++ b/Master/texmf/scripts/texlive/tlmgrgui/tlmgrgui.pl @@ -367,9 +367,11 @@ sub init_install_media { if (defined($tlmediatlpdb) && ($tlmediatlpdb->root eq $newroot)) { # nothing to be done } else { + $mw->Busy(-recurse => 1); info(___("loadremotetlpdbwait") . "\n"); $tlmediasrc = TeXLive::TLMedia->new($newroot); info(___("completed") . "\n"); + $mw->Unbusy; if (!defined($tlmediasrc)) { # something went badly wrong, maybe the newroot is wrong? $mw->Dialog(-title => "warning", |