summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/texlive/tlmgrgui.pl
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2015-07-25 02:02:39 +0000
committerNorbert Preining <preining@logic.at>2015-07-25 02:02:39 +0000
commit22b3ee317c07e2d0f8cf8bec64b2dec6ff7c3103 (patch)
tree42db001da5f1eb113a67a88eff0274906525f821 /Master/texmf-dist/scripts/texlive/tlmgrgui.pl
parent3e79903aa34fd6a9f83c8c8da739afb8ced8ce36 (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/scripts/texlive/tlmgrgui.pl')
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgrgui.pl8
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); }