[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
Yes.
> 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.