diff options
| -rwxr-xr-x | Master/texmf/scripts/tetex/texdoctk.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf/scripts/tetex/texdoctk.pl b/Master/texmf/scripts/tetex/texdoctk.pl index 39fdece9805..1264f804513 100755 --- a/Master/texmf/scripts/tetex/texdoctk.pl +++ b/Master/texmf/scripts/tetex/texdoctk.pl @@ -780,6 +780,7 @@ sub mksrch { $srchflag=1; # key binding $srchentry->bind('<Control-c>'=>sub{destroy $srchentry; $srchflag=0;}); + $srchentry->bind('<Escape>'=>sub{destroy $srchentry; $srchflag=0;}); } } |