|
From: | Konstantin Glukhov |
Subject: | Enhancement: add option isearch-ignore-case |
Date: | Thu, 2 Mar 2023 05:16:46 +0000 |
Hello,
Is it possible to request a new feature?
Add an option isearch-ignore-case.
I am sure I am not the first one who is suggesting this.
I am willing to contribute to the change if resources are tight.
|
[Prev in Thread] | Current Thread | [Next in Thread] |