From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#28439: suggestion: support case-independent xref-find-definitions prompt TAB Date: Tue, 19 Sep 2017 07:01:21 +0300 Message-ID: <83vakfgwvi.fsf@gnu.org> References: <201709122237.v8CMb6w0029533@psr.com> <83r2vaobtn.fsf@gnu.org> <9b90e72d-e07b-a519-6693-c22c8722d83b@yandex.ru> <83377pnrin.fsf@gnu.org> Reply-To: Eli Zaretskii NNTP-Posting-Host: blaine.gmane.org X-Trace: blaine.gmane.org 1505793739 16301 195.159.176.226 (19 Sep 2017 04:02:19 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 19 Sep 2017 04:02:19 +0000 (UTC) Cc: wbe@psr.com, 28439@debbugs.gnu.org To: Dmitry Gutov Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Sep 19 06:02:13 2017 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1du9je-0003oM-29 for geb-bug-gnu-emacs@m.gmane.org; Tue, 19 Sep 2017 06:02:10 +0200 Original-Received: from localhost ([::1]:39930 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1du9jj-0006qy-2j for geb-bug-gnu-emacs@m.gmane.org; Tue, 19 Sep 2017 00:02:15 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:51110) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1du9jc-0006qY-Jw for bug-gnu-emacs@gnu.org; Tue, 19 Sep 2017 00:02:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1du9jW-0007sM-M4 for bug-gnu-emacs@gnu.org; Tue, 19 Sep 2017 00:02:08 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:38436) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1du9jW-0007sC-IN for bug-gnu-emacs@gnu.org; Tue, 19 Sep 2017 00:02:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1du9jW-0008KV-7g for bug-gnu-emacs@gnu.org; Tue, 19 Sep 2017 00:02:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 19 Sep 2017 04:02:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 28439 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-Cc: wbe@psr.com, bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.150579371031995 (code B ref -1); Tue, 19 Sep 2017 04:02:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 19 Sep 2017 04:01:50 +0000 Original-Received: from localhost ([127.0.0.1]:47117 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1du9jF-0008Js-NH for submit@debbugs.gnu.org; Tue, 19 Sep 2017 00:01:49 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:60014) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1du9jE-0008Jd-Gl for submit@debbugs.gnu.org; Tue, 19 Sep 2017 00:01:44 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1du9j8-0007P5-HI for submit@debbugs.gnu.org; Tue, 19 Sep 2017 00:01:39 -0400 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:36213) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1du9j8-0007Om-EC for submit@debbugs.gnu.org; Tue, 19 Sep 2017 00:01:38 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50967) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1du9j7-0006jP-3T for bug-gnu-emacs@gnu.org; Tue, 19 Sep 2017 00:01:38 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1du9j3-0007K2-7M for bug-gnu-emacs@gnu.org; Tue, 19 Sep 2017 00:01:37 -0400 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:34429) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1du9j3-0007Js-4m; Tue, 19 Sep 2017 00:01:33 -0400 Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:1235 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1du9j2-0000j0-E2; Tue, 19 Sep 2017 00:01:32 -0400 In-reply-to: (message from Dmitry Gutov on Tue, 19 Sep 2017 03:55:34 +0300) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 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.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:137106 Archived-At: > Cc: wbe@psr.com, bug-gnu-emacs@gnu.org > From: Dmitry Gutov > Date: Tue, 19 Sep 2017 03:55:34 +0300 > > On 9/14/17 8:01 PM, Eli Zaretskii wrote: > > >> Sorry, what don't we want to follow the value of completion-ignore-case? > > > > Because it has a much broader effect. > > I guessed so. But do you have a particular problem in mind? No, just a general concern. > > Then maybe an alternative is to make tags-case-fold-search nil by > > default? Or make xref--read-identifier be case-insensitive if > > case-fold-search is non-nil? > > The other way around: etags--xref-find-definitions can bind > tags-case-fold-search to the value of completion-ignore-case. Or > whichever xref-specific variable we add. Fine with me. > We'd also need to add case-insensitive search support to > elisp--xref-find-definitions, I suppose. So far, > find-function-search-for-symbol always performs case-sensitive search. > It's rarely a problem, though, because Elisp uses capital letters very > infrequently. Agreed, on both counts. > >> Maybe we could add a similar xref-specific option on top, but I'm not > >> sure why completion-ignore-case is not good enough. > >> > >> We could change its default to t, though. > > > > Emacs-wide? Or just when completing on identifiers? > > Either is fine, as far as I'm concerned. Emacs-wide is too radical, I think, and I don't think we have a good case for justifying that. Thanks.