Closed lacygoill closed 3 years ago
This PR simply adds some documentation about CTRL-H which can erase a character from the filter text. The latter did not seem to be documented.
This PR simply adds some documentation about CTRL-H which can erase a character from the filter text. The latter did not seem to be documented.