[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: `character-fold-search' should be a user option, like `case-fold-sea

From: Artur Malabarba
Subject: Re: `character-fold-search' should be a user option, like `case-fold-search'
Date: Wed, 2 Sep 2015 10:26:51 +0100

> Like with ‘case-fold-search’ and ‘isearch-case-fold-search’ we could
> make ‘char-fold-search’ customizable


> and ‘isearch-char-fold-search’ togglable

I'm not sure I understand. Character folding is already toggleable
during isearch.
Do you mean we specifically need a variable called
isearch-char-fold-search? isearch-case-fold-search is an internal
variable, not a user option, so I don't think there needs to be a
char-fold analogue.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]