|
| From: | Dmitry Gutov |
| Subject: | Re: Exposing Isearch toggleable options |
| Date: | Thu, 5 Nov 2015 02:59:43 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:42.0) Gecko/20100101 Thunderbird/42.0 |
On 11/05/2015 02:55 AM, Artur Malabarba wrote:
The question here is: would it be an overall improvement to add a (disableable) small reminder to the right edge of the echo-area? i.e., would the benefit to people who've never seen the isearch help outweigh the annoyance of those who'll want to disable it.
I vote yes.
| [Prev in Thread] | Current Thread | [Next in Thread] |