diff options
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/texmf/scripts/tetex/texdoctk.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf/scripts/tetex/texdoctk.pl b/Master/texmf/scripts/tetex/texdoctk.pl index 61df68ca3fe..7d0b2c8c292 100755 --- a/Master/texmf/scripts/tetex/texdoctk.pl +++ b/Master/texmf/scripts/tetex/texdoctk.pl @@ -792,14 +792,15 @@ sub mksrch { sub srchstr { my $string; my @reslist; - $main->configure(-cursor=>'watch'); $string=$srchentry->get(); # search + $main->Busy(-recurse => 1); if ($srchtype == 0) { @reslist = &srchdb($string); } else { @reslist = &srchtd($string); } + $main->Unbusy(); # destroy entry widget and show results destroy $srchentry; $srchflag=0; @@ -814,7 +815,6 @@ sub srchstr { } else { &tpslct(-1, $string, @reslist); } - $main->configure(-cursor=>$defcursor); } # search using texdoc |