From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Po Lu via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#56401: "Case folding" should be called "ignore case" Date: Wed, 06 Jul 2022 17:36:05 +0800 Message-ID: <87fsje7fcq.fsf@yahoo.com> References: <87r12zze9k.fsf@gnus.org> Reply-To: Po Lu Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="21428"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.91 (gnu/linux) Cc: 56401@debbugs.gnu.org, Stefan Kangas To: Lars Ingebrigtsen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Wed Jul 06 11:55:16 2022 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1o91kZ-0005Jh-G1 for geb-bug-gnu-emacs@m.gmane-mx.org; Wed, 06 Jul 2022 11:55:15 +0200 Original-Received: from localhost ([::1]:43522 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1o91kX-0008UO-Rf for geb-bug-gnu-emacs@m.gmane-mx.org; Wed, 06 Jul 2022 05:55:13 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:36070) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1o91Sw-0003MJ-8W for bug-gnu-emacs@gnu.org; Wed, 06 Jul 2022 05:37:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:58415) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1o91Sv-0005RJ-Vw for bug-gnu-emacs@gnu.org; Wed, 06 Jul 2022 05:37:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1o91Sv-0001Kn-Qe for bug-gnu-emacs@gnu.org; Wed, 06 Jul 2022 05:37:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Po Lu Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 06 Jul 2022 09:37:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 56401 X-GNU-PR-Package: emacs Original-Received: via spool by 56401-submit@debbugs.gnu.org id=B56401.16571001835082 (code B ref 56401); Wed, 06 Jul 2022 09:37:01 +0000 Original-Received: (at 56401) by debbugs.gnu.org; 6 Jul 2022 09:36:23 +0000 Original-Received: from localhost ([127.0.0.1]:52312 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o91SJ-0001Ju-6j for submit@debbugs.gnu.org; Wed, 06 Jul 2022 05:36:23 -0400 Original-Received: from sonic307-56.consmr.mail.ne1.yahoo.com ([66.163.190.31]:43845) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1o91SH-0001Jg-7p for 56401@debbugs.gnu.org; Wed, 06 Jul 2022 05:36:22 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1657100175; bh=0QNs59Va9KzjJ4Qu5ZCuqP20nOvkNgXYzxNdFJuC7MY=; h=From:To:Cc:Subject:References:Date:In-Reply-To:From:Subject:Reply-To; b=mpPWIyy4vfpBAk2TM5uw2DzapVLtJloGk/OW3YNigyZP8a4SMYTM7BhWa+s8xfVU/2vbL/0I1r72+PxQSYbDDkOBq8nApn8uOCT7JfEX8cgTcq98FEgBCZazl7Vc6RQHKwbBsqR4HTOkuwt78nubOWRrr9kTiPNBohpwRgkSUzGK2wHwi6YIjQNOLRYAHeyxSjZ6PYYQkWPnqE5JTAjgtZk7vbojCWLMLBtQ2jaKPK3EB765qQQq5ZZpE00yvjKTsPBvHlFRd/O1/iTldB9pUA7h/hDsOnO6H/O8KxSkHYYp/hkCSzQ53NdBOiSPcdcIb7jCX23ULmoLh/c+rfOkbA== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1657100175; bh=tSr+0iLZr5s8qerY0vs26XDoJM1U+W4PJPDQinqLEKZ=; h=X-Sonic-MF:From:To:Subject:Date:From:Subject; b=pRv4y7bJd4LcpGf5skh6nt/SviR7pGbP9UCcYV8lGQeRmkilmzQWOdnu+7AS0wWyg0PYq64vvO+46/RknXCgOAOEXMJTPtdHgAVmYMb0UP8NNbfkiu1kWMI+JPkLCmNNvIftpbQa5IblJ7mAsFxVHBXCeMcQi1Q6vXzh0/b49QirmVhFIpghbuDPhkIsngznLeLTltNCITuJ8t8GV74hK32dYg2RrSnEULUkkd1OHS8sGLhqUToxMDM1BOhVEteDKnpGwH8CL+P29jDHcWrvOKhpid0xrlpDGWAYaZND4KmVALFuMsMFN264eVKGx68TWNfvc9uT/QwznnCDPZ1lig== X-YMail-OSG: pxSL0sUVM1lSu0qDsa0TNSCJUrz7KTUeoENS0KLCQ7PqImxTT3AmV2j5Dmeq6vk jpmYYiIOHLpnJe2HgPbOMJMDR0lTizpvjlAUMrs66.QZ9HyCW3FQHmKjG8hZQOACqtKM0yWMVy6p A5EpihAmkoVmDNQUmAwlhFn7tDTzjpHNrs4TmbNcZ5x8S0EVgsYWLhbQ_dD0jz.sxSEtLBt08rsl _pk5.onN0nqGm1bTHfBlE1JMmx12GVTTyVMRVzHiyshWaUvTuA0sNb5s_4TPaGOP2p8FmX9Oznn3 qugTgjnnPLy6kdLm7djWzMiLLNrWDmIH.0X0exHcFsbVtjZxzGIiliTnA6iOrOJQfNCnnDu.RMrr hrLW0RJL.yZcfxFHgietzLRih38.alyqvJiapQlrSzy7JEcaM4jze4PtZ8Ky8X_kNF6Y_IT1I.KC 9RdzheD.v.kvU5n14en7.1EYKXwNxhFEVeUt3eEWU3JhZHFjPFnY51C5zdFFqLUCScIIEQYDueug _pTt8nS8k1lDplWEDPZ8Aa3mKk0anycOX7oUO6fomgNNVhZBMi9Rzg5iRiqDIJ_4ld6YDy4eAiTO W4ABeE3XNqk9wQWeWrxCPbybYIfhkAG6WIKU9RTpUfYpdoVm2huzflbbszaI_mP6M46KN8WcMNrL _5vNCdQN1JOTmLQtDXsdNOKICdCcsBvYlo0DXcjdorfZxXXX6XcBU5gHuysguZaJt7ECjgxcpAcb qoXyvGTb4Zr0f6xvV3HwIMisoDQM3p4mZ6EmlBbkMG5FpowXgMaaz9mMBe1lUNfIYbgL7Q7hIPWt CD6FyT0poGVLfodEzkEiBtZ0pXu7OkpeLK3g.2qeFt X-Sonic-MF: Original-Received: from sonic.gate.mail.ne1.yahoo.com by sonic307.consmr.mail.ne1.yahoo.com with HTTP; Wed, 6 Jul 2022 09:36:15 +0000 Original-Received: by hermes--canary-production-sg3-67975bbd4b-wpvcf (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID 944fb10beb8e59ffaf66a38894fac6f7; Wed, 06 Jul 2022 09:36:11 +0000 (UTC) In-Reply-To: <87r12zze9k.fsf@gnus.org> (Lars Ingebrigtsen's message of "Tue, 05 Jul 2022 18:59:51 +0200") X-Mailer: WebService/1.1.20381 mail.backend.jedi.jws.acl:role.jedi.acl.token.atz.jws.hermes.yahoo X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:236206 Archived-At: Lars Ingebrigtsen writes: > In any case, I think renaming all the functions and variables here would > not be worth the churn -- there's quite a lot of them. +1. For what it's worth, the glossary in the Emacs manual also tells you what "Case Folding" means.