Fix help search
authorH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 29 Mar 2016 19:20:51 +0000 (21:20 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 29 Mar 2016 19:20:51 +0000 (21:20 +0200)
The help search was ignoring the last character of the searched string.
Which almost neven mattered, except when the searched string was only
1 or 2 characters, like for the buttons in the button bar.


No differences found