GNU bug report logs - #56401
"Case folding" should be called "ignore case"

Previous Next

Package: emacs;

Reported by: Stefan Kangas <stefan <at> marxist.se>

Date: Tue, 5 Jul 2022 16:05:01 UTC

Severity: wishlist

Done: Stefan Kangas <stefankangas <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Stefan Kangas <stefan <at> marxist.se>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 56401 <at> debbugs.gnu.org
Subject: bug#56401: "Case folding" should be called "ignore case"
Date: Tue, 5 Jul 2022 19:11:00 +0200

Lars Ingebrigtsen <larsi <at> gnus.org> writes:

> I agree that "ignore case" would be better, but it somehow seems like
> most people don't have much problem with the "case folding" terminology?

I had to look up the exact meaning today, FWIW.

(I confused myself on whether or not "case folding" is the same as
"ignore case" or its inverse.)
This bug report was last modified 120 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.