diff options
| -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); } |