diff options
author | Norbert Preining <preining@logic.at> | 2015-07-25 02:02:39 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2015-07-25 02:02:39 +0000 |
commit | 22b3ee317c07e2d0f8cf8bec64b2dec6ff7c3103 (patch) | |
tree | 42db001da5f1eb113a67a88eff0274906525f821 /Master/texmf-dist | |
parent | 3e79903aa34fd6a9f83c8c8da739afb8ced8ce36 (diff) |
speed up search in tlmgr gui
git-svn-id: svn://tug.org/texlive/trunk@37952 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgrgui.pl | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgrgui.pl b/Master/texmf-dist/scripts/texlive/tlmgrgui.pl index f8dc439382b..3b28c061b9d 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgrgui.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgrgui.pl @@ -350,8 +350,12 @@ sub do_rest_of_gui { # $match_filenames = 1; # } # } - $match_text = $new_val; - update_grid(); return 1; }); + my $new_match_text = ( length($new_val) >= 3 ? $new_val : "" ); + if ($new_match_text ne $match_text) { + $match_text = $new_match_text; + update_grid(); + } + return 1; }); my $filter_selection = $filter_frame->Labelframe(-text => __("Selection")); if ($mode_expert) { $filter_selection->pack(@left, @x_y, @p_ii); } |