This pull request resolves #2391. ctrl + h is not assigned to any other operations at this moment, and this feature request sounds valid to me. If we don't prefer having this, please feel free to close this.
This pull request resolves #2391. ctrl + h is not assigned to any other operations at this moment, and this feature request sounds valid to me. If we don't prefer having this, please feel free to close this.