GNU logs - #10118, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#10118: C-w folds case too eagerly
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Wed, 23 Nov 2011 14:32:02 +0000
Resent-Message-ID: <handler.10118.B.132205868322098 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 10118 <at> debbugs.gnu.org
From: Stefan Monnier <monnier@HIDDEN>
Message-ID: <jwv1usylxu5.fsf-monnier+emacs@HIDDEN>
Date: Wed, 23 Nov 2011 09:29:40 -0500
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org

Package: Emacs

   % emacs -Q
   TOTORO TOTO M-b
   C-r C-w RO

this fails to find "TOTORO" because we end up looking for "totoRO"
(without ignoring case) rather than "TOTORO".


        Stefan



In GNU Emacs 24.0.91.1 (i686-pc-linux-gnu, GTK+ Version 2.24.7)
 of 2011-11-22 on pastel
Windowing system distributor `The X.Org Foundation', version 11.0.11101901
configured using `configure  'CFLAGS=-Wall -Wno-pointer-sign -DUSE_LISP_UNION_TYPE -DSYNC_INPUT -DENABLE_CHECKING -DXASSERTS -DFONTSET_DEBUG -g -O0' '--with-tiff=no''

Important settings:
  value of $LC_ALL: nil
  value of $LC_COLLATE: nil
  value of $LC_CTYPE: nil
  value of $LC_MESSAGES: nil
  value of $LC_MONETARY: nil
  value of $LC_NUMERIC: nil
  value of $LC_TIME: nil
  value of $LANG: fr_CH.UTF-8
  value of $XMODIFIERS: nil
  locale-coding-system: utf-8-unix
  default enable-multibyte-characters: t

Major mode: Summary

Minor modes in effect:
  gnus-mailing-list-mode: t
  electric-pair-mode: t
  electric-indent-mode: t
  url-handler-mode: t
  global-reveal-mode: t
  reveal-mode: t
  auto-insert-mode: t
  savehist-mode: t
  minibuffer-electric-default-mode: t
  mouse-wheel-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t
  line-number-mode: t
  transient-mark-mode: t

Recent input:
<right> <down> <left> <right> <down> <left> <right> 
<up> <left> <right> <up> <left> <right> <up> <left> 
<right> <up> <left> <right> <up> <left> <right> <down> 
<left> <right> <down> <left> <right> <down> <left> 
<right> <down> <right> <up> <up> <up> <up> <left> <left> 
<right> <down> <left> <right> <down> <left> <right> 
<down> <left> <right> <up> <up> <up> <left> <right> 
<down> <left> <right> <down> <left> <right> <up> <up> 
<left> <right> <down> <left> <right> <down> <left> 
<right> <up> <up> <left> <right> <down> <left> <right> 
<down> <left> <right> <down> <left> <right> <down> 
<left> <right> <down> <left> <right> <up> <up> <up> 
<up> <up> <left> <right> <down> <left> <right> <down> 
<left> <right> <down> <left> <right> <up> <up> <left> 
<right> <up> <left> <right> <down> <left> <right> <down> 
<left> <right> <down> <left> <right> <down> <left> 
<right> <up> <left> <right> <down> <left> <right> <down> 
<left> <right> <up> <left> <right> <up> <left> <right> 
<up> <left> <right> <down> <left> <right> <down> <left> 
<right> <down> <left> <right> <left> <return> I e . 
<backspace> <backspace> . e . SPC C - s SPC T O T O 
SPC M - e SPC C - a SPC _ <backspace> C - k SPC f o 
o SPC R E T SPC s h o u l d SPC s e a r c h SPC f o 
r SPC " f o o " SPC w h i l e SPC i g n o r e i n g 
SPC c a s e . <right> <up> <left> <right> <up> <left> 
<right> <up> <left> <right> <up> <left> <right> <down> 
<left> <right> <down> <left> <right> <left> <down> 
<right> <right> <right> <right> <right> <right> <right> 
<C-left> C-d C-e <right> <up> <left> <right> <up> <left> 
<right> <down> <left> <right> <down> <left> <right> 
<switch-frame> <switch-frame> <switch-frame> <switch-frame> 
<switch-frame> <select-window> <help-echo> M-x r e 
p - e m - b <tab> <return>

Recent messages:
Mark set
byte-code: End of buffer [2 times]
Auto-saving...done
Mark set
byte-code: End of buffer
Auto-saving...done
Mark set
Quit
Mark activated
Auto-saving...done

Load-path shadows:
None found.

Features:
(shadow emacsbug multi-isearch debug woman tutorial help-macro man
info-look help-at-pt ehelp apropos cus-edit cus-start cus-load gnus-fun
newcomment supercite regi pp qp executable copyright gnus-html
browse-url xml url-cache mm-url url url-proxy url-privacy url-expand
url-methods url-history url-cookie url-util mule-util sort smiley
ansi-color gnus-cite flow-fill mail-extr gnus-async gnus-bcklg gnus-ml
nndraft nnmh utf-7 rfc2104 nnimap parse-time utf7 gnutls netrc
network-stream starttls tls gnus-agent gnus-srvr gnus-score score-mode
nnvirtual gnus-msg gnus-art mm-uu mml2015 epg-config mm-view mml-smime
smime dig mailcap nntp gnus-cache nnir gnus-sum nnoo gnus-group
gnus-undo nnmail mail-source server gnus-start gnus-spec gnus-int
gnus-range message sendmail format-spec rfc822 mml mml-sec mm-decode
mm-bodies mm-encode mail-parse rfc2231 rfc2047 rfc2045 ietf-drums
mailabbrev gmm-utils mailheader gnus-win gnus gnus-ems nnheader
mail-utils wid-edit noutline outline easy-mmode flyspell ispell eldoc
checkdoc regexp-opt thingatpt help-mode view prog-mode load-dir electric
url-handlers url-parse auth-source warnings eieio byte-opt bytecomp
byte-compile cconv macroexp assoc gnus-util password-cache url-vars
mm-util mail-prsvr reveal autoinsert uniquify advice help-fns
advice-preload time-date savehist minibuf-eldef disp-table cl
cl-loaddefs all-autoloads company-autoloads debbugs-autoloads
epoch-view-autoloads jgraph-mode-autoloads js2-mode-autoloads
lmc-autoloads load-dir-autoloads markchars-autoloads minimap-autoloads
muse-autoloads info easymenu oauth2-autoloads quarter-plane-autoloads
rainbow-mode-autoloads register-list-autoloads sisu-mode-autoloads
svg-clock-autoloads undo-tree-autoloads uni-confusables-autoloads
windresize-autoloads package tabulated-list proof-site proof-autoloads
pg-vars bbdb-autoloads agda2 tooltip ediff-hook vc-hooks lisp-float-type
mwheel x-win x-dnd tool-bar dnd fontset image fringe lisp-mode register
page menu-bar rfn-eshadow timer select scroll-bar mouse jit-lock
font-lock syntax font-core frame cham georgian utf-8-lang misc-lang
vietnamese tibetan thai tai-viet lao korean japanese hebrew greek
romanian slovak czech european ethiopic indian cyrillic chinese
case-table epa-hook jka-cmpr-hook help simple abbrev minibuffer loaddefs
button faces cus-face files text-properties overlay sha1 md5 base64
format env code-pages mule custom widget hashtable-print-readable
backquote make-network-process dbusbind dynamic-setting
system-font-setting font-render-setting move-toolbar gtk x-toolkit
x multi-tty emacs)

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.427 (Entity 5.427)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Stefan Monnier <monnier@HIDDEN>
Subject: bug#10118: Acknowledgement (C-w folds case too eagerly)
Message-ID: <handler.10118.B.132205868322098.ack <at> debbugs.gnu.org>
References: <jwv1usylxu5.fsf-monnier+emacs@HIDDEN>
X-Gnu-PR-Message: ack 10118
X-Gnu-PR-Package: emacs
Reply-To: 10118 <at> debbugs.gnu.org
Date: Wed, 23 Nov 2011 14:32:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 10118 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
10118: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D10118
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#10118: C-w folds case too eagerly
Resent-From: Juri Linkov <juri@HIDDEN>
Original-Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Wed, 23 Nov 2011 20:43:01 +0000
Resent-Message-ID: <handler.10118.B10118.132208097326368 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Stefan Monnier <monnier@HIDDEN>
Cc: 10118 <at> debbugs.gnu.org
From: Juri Linkov <juri@HIDDEN>
Organization: JURTA
References: <jwv1usylxu5.fsf-monnier+emacs@HIDDEN>
Date: Wed, 23 Nov 2011 22:39:35 +0200
In-Reply-To: <jwv1usylxu5.fsf-monnier+emacs@HIDDEN> (Stefan Monnier's message
	of "Wed, 23 Nov 2011 09:29:40 -0500")
Message-ID: <87zkfmshdk.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.91 (x86_64-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org

>    % emacs -Q
>    TOTORO TOTO M-b
>    C-r C-w RO
>
> this fails to find "TOTORO" because we end up looking for "totoRO"
> (without ignoring case) rather than "TOTORO".

Sorry, I don't know how to solve this puzzle.  The value `not-yanks'
of `search-upper-case' explicitly tells Isearch to downcase the word
pulled from the buffer.

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#10118: C-w folds case too eagerly
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 01 Dec 2011 19:46:02 +0000
Resent-Message-ID: <handler.10118.B10118.13227687369391 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Juri Linkov <juri@HIDDEN>
Cc: 10118 <at> debbugs.gnu.org
MIME-version: 1.0
Content-transfer-encoding: 7BIT
Content-type: text/plain; CHARSET=US-ASCII
From: Stefan Monnier <monnier@HIDDEN>
Message-id: <jwv7h2gaxkw.fsf-monnier+emacs@HIDDEN>
References: <jwv1usylxu5.fsf-monnier+emacs@HIDDEN>
	<87zkfmshdk.fsf@HIDDEN>
Date: Thu, 01 Dec 2011 14:45:17 -0500
In-reply-to: <87zkfmshdk.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.91 (gnu/linux)
Precedence: list
Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org

>> % emacs -Q
>> TOTORO TOTO M-b
>> C-r C-w RO
>> 
>> this fails to find "TOTORO" because we end up looking for "totoRO"
>> (without ignoring case) rather than "TOTORO".

> Sorry, I don't know how to solve this puzzle.  The value `not-yanks'
> of `search-upper-case' explicitly tells Isearch to downcase the word
> pulled from the buffer.

I know, but I think it's wrong.  I think that rather than downcase it,
it should only cause the case to stay ignored.  The behavior I'd expect
is something like:

- C-r C-w leads to "I-search: toto", which hides the uppercase nature of
  the yanked string, but doesn't actually throw it away.
- then typing "RO" leads to "I-search: TOTORO", where TOTO's uppercase
  nature is made explicit.


        Stefan

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#10118: Fwd: GNU bugs information: logs for bug#10118
Resent-From: Dani Moncayo <dmoncayo@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sat, 03 Aug 2013 16:37:03 +0000
Resent-Message-ID: <handler.10118.B10118.137554780323683 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 10118
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: 10118 <at> debbugs.gnu.org
Cc: Juri Linkov <juri@HIDDEN>, Stefan Monnier <monnier@HIDDEN>
Received: via spool by 10118-submit <at> debbugs.gnu.org id=B10118.137554780323683
          (code B ref 10118); Sat, 03 Aug 2013 16:37:03 +0000
Received: (at 10118) by debbugs.gnu.org; 3 Aug 2013 16:36:43 +0000
Received: from localhost ([127.0.0.1]:38422 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.80)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1V5eos-00069s-CV
	for submit <at> debbugs.gnu.org; Sat, 03 Aug 2013 12:36:42 -0400
Received: from mail-lb0-f177.google.com ([209.85.217.177]:47892)
 by debbugs.gnu.org with esmtp (Exim 4.80)
 (envelope-from <dmoncayo@HIDDEN>) id 1V5eoq-00069W-90
 for 10118 <at> debbugs.gnu.org; Sat, 03 Aug 2013 12:36:41 -0400
Received: by mail-lb0-f177.google.com with SMTP id r11so1140098lbv.22
 for <10118 <at> debbugs.gnu.org>; Sat, 03 Aug 2013 09:36:34 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
 h=mime-version:in-reply-to:references:date:message-id:subject:from:to
 :cc:content-type;
 bh=96YUHwOrab78Isb+/XDUHYwEyHuGNUfjncQSKzww0lQ=;
 b=ZvuaI7BPu6sboajy/eRFT67PkbUFh3digvrTEd9ZwZ8l4pi5sCp5ZnhR9x6I/m9s3d
 PX5sznDiwvob17sgRwco4sKc5mBmcYzidIJDyIsrRLb6SXjY022qm4UrgQlrKVD7XhSy
 +qIgF9Y7L3NjJtdDBpgzM5QKkRFiqwcLgo8p9+KV7We8ZdJ01E1gKpjooq5gHD65/3sb
 Gs4JCzj7p2d1Bg5BvHLXGEId77XMqPViwxZWa0qh7VkvTQDnqe6kVM5VNzWkUHPkXsMs
 IsFDGeVmKbgfXnnFW61SIRlevZrS6N/JAavu2WKOanlnVkQPBJUMPPwZ3ZD4lLmQtxVC
 +eOw==
MIME-Version: 1.0
X-Received: by 10.152.115.146 with SMTP id jo18mr5170174lab.56.1375547793982; 
 Sat, 03 Aug 2013 09:36:33 -0700 (PDT)
Received: by 10.114.176.231 with HTTP; Sat, 3 Aug 2013 09:36:33 -0700 (PDT)
In-Reply-To: <handler.s.R.13755413702453.info.0 <at> debbugs.gnu.org>
References: <CAH8Pv0hkLk3zFSwPkMtqT_nDFN7t3S9udbrdqYKSvSVD+y+UqQ@HIDDEN>
 <handler.s.R.13755413702453.info.0 <at> debbugs.gnu.org>
Date: Sat, 3 Aug 2013 18:36:33 +0200
Message-ID: <CAH8Pv0ijRMPf8wDpddOodtc=cw=CAdHGqFtbSCPDNn_xV2AKCA@HIDDEN>
From: Dani Moncayo <dmoncayo@HIDDEN>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam-Score: -0.7 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.7 (/)

> From: Stefan Monnier <monnier <at> iro.umontreal.ca>
> To: Juri Linkov <juri <at> jurta.org>
> Cc: 10118 <at> debbugs.gnu.org
> Subject: Re: bug#10118: C-w folds case too eagerly
> Date: Thu, 01 Dec 2011 14:45:17 -0500
>
> > > % emacs -Q
> > > TOTORO TOTO M-b
> > > C-r C-w RO
> > >
> > > this fails to find "TOTORO" because we end up looking for "totoRO"
> > > (without ignoring case) rather than "TOTORO".
>
> > Sorry, I don't know how to solve this puzzle.  The value `not-yanks'
> > of `search-upper-case' explicitly tells Isearch to downcase the word
> > pulled from the buffer.
>
> I know, but I think it's wrong.  I think that rather than downcase it,
> it should only cause the case to stay ignored.  The behavior I'd expect
> is something like:
>
> - C-r C-w leads to "I-search: toto", which hides the uppercase nature of
>   the yanked string, but doesn't actually throw it away.
> - then typing "RO" leads to "I-search: TOTORO", where TOTO's uppercase
>   nature is made explicit.

I've been thinking a bit about this, and I'd like to propose this
solution:

1. Never downcase the text yanked into the search ring, because we
must remember the original text supplied by the user.  This implies
that the variable `search-upper-case' will not care about the value
`not-yanks' anymore.

2. When `search-upper-case' is non-nil, upper case chars will make the
search case-sensitive, but only when typed right from the keyboard,
i.e., not when grabbing text from another place (kill ring, buffer or
whatever).  This way, the search will be case-insensitive by default
(quite reasonable), and will only switch to case-sensitive under
explicit request from the user (either by _typing_ an upper case char
or "M-c").

WDYT?

-- 
Dani Moncayo

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#10118: Fwd: GNU bugs information: logs for bug#10118
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 05 Mar 2024 07:07:02 +0000
Resent-Message-ID: <handler.10118.B10118.17096224018193 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 10118
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Dani Moncayo <dmoncayo@HIDDEN>
Cc: Juri Linkov <juri@HIDDEN>, 10118 <at> debbugs.gnu.org
Received: via spool by 10118-submit <at> debbugs.gnu.org id=B10118.17096224018193
          (code B ref 10118); Tue, 05 Mar 2024 07:07:02 +0000
Received: (at 10118) by debbugs.gnu.org; 5 Mar 2024 07:06:41 +0000
Received: from localhost ([127.0.0.1]:45892 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rhOsq-000284-Ik
	for submit <at> debbugs.gnu.org; Tue, 05 Mar 2024 02:06:40 -0500
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:44341)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1rhOso-00027p-SR
 for 10118 <at> debbugs.gnu.org; Tue, 05 Mar 2024 02:06:39 -0500
Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 64C6F80CA8;
 Tue,  5 Mar 2024 02:06:03 -0500 (EST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1709622362;
 bh=OG9lBHo14rRV2EB9/SO9G3Nuk1GbqluW7vVWtJi4Kg0=;
 h=From:To:Cc:Subject:In-Reply-To:References:Date:From;
 b=oYL06YKeTXJXlWZZk/jqrHJaHylKfWN80+puGwiYh8sPL+0DVJxtVehNgo4gz793T
 fi/NBLixepZN1Ero9SwoKypGz918Lt7KGjOV28g2WgwiY8rcgkkfTG2r5MV5esZmgx
 RSd8PD8l2DeQAoEnAEgZVrs4usLjHeEAk1gJwSc6GsTL43YUlh6US/z17ZB883IvEJ
 BHFnbV6Jxu5rEzFpLOltREL9wnqWZmky4ApjHscpyV8/QJfoMBFRCqxVXih3bRtp9h
 +yPbJ2MyTUVlZ6G12+93UBmt9Efh+UFTXTV4J7Tu8+rM/h0wVE/Td8GfZ40RPflqj5
 NCHoK/TBu5+Rw==
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 7BD0880B0E;
 Tue,  5 Mar 2024 02:06:02 -0500 (EST)
Received: from pastel (unknown [104.247.233.29])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 507E71204A3;
 Tue,  5 Mar 2024 02:06:02 -0500 (EST)
From: Stefan Monnier <monnier@HIDDEN>
In-Reply-To: <CAH8Pv0ijRMPf8wDpddOodtc=cw=CAdHGqFtbSCPDNn_xV2AKCA@HIDDEN>
 (Dani Moncayo's message of "Sat, 3 Aug 2013 18:36:33 +0200")
Message-ID: <jwvplw95fbj.fsf-monnier+emacs@HIDDEN>
References: <CAH8Pv0hkLk3zFSwPkMtqT_nDFN7t3S9udbrdqYKSvSVD+y+UqQ@HIDDEN>
 <handler.s.R.13755413702453.info.0 <at> debbugs.gnu.org>
 <CAH8Pv0ijRMPf8wDpddOodtc=cw=CAdHGqFtbSCPDNn_xV2AKCA@HIDDEN>
Date: Tue, 05 Mar 2024 02:06:01 -0500
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
X-SPAM-INFO: Spam detection results:  0
 ALL_TRUSTED                -1 Passed through trusted hosts only via SMTP
 AWL -0.888 Adjusted score from AWL reputation of From: address
 BAYES_00                 -1.9 Bayes spam probability is 0 to 1%
 DKIM_SIGNED               0.1 Message has a DKIM or DK signature,
 not necessarily valid
 DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
 DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
 domain
 DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from
 domain
 KAM_NUMSUBJECT 0.5 Subject ends in numbers excluding current years
 T_SCC_BODY_TEXT_LINE    -0.01 -
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

> I've been thinking a bit about this, and I'd like to propose this
> solution:
>
> 1. Never downcase the text yanked into the search ring, because we
> must remember the original text supplied by the user.  This implies
> that the variable `search-upper-case' will not care about the value
> `not-yanks' anymore.
>
> 2. When `search-upper-case' is non-nil, upper case chars will make the
> search case-sensitive, but only when typed right from the keyboard,
> i.e., not when grabbing text from another place (kill ring, buffer or
> whatever).  This way, the search will be case-insensitive by default
> (quite reasonable), and will only switch to case-sensitive under
> explicit request from the user (either by _typing_ an upper case char
> or "M-c").
>
> WDYT?

Sounds good to me!


        Stefan

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#10118: Fwd: GNU bugs information: logs for bug#10118
Resent-From: Juri Linkov <juri@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 05 Mar 2024 16:36:02 +0000
Resent-Message-ID: <handler.10118.B10118.17096565582852 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 10118
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Stefan Monnier <monnier@HIDDEN>
Cc: 10118 <at> debbugs.gnu.org, Dani Moncayo <dmoncayo@HIDDEN>
Received: via spool by 10118-submit <at> debbugs.gnu.org id=B10118.17096565582852
          (code B ref 10118); Tue, 05 Mar 2024 16:36:02 +0000
Received: (at 10118) by debbugs.gnu.org; 5 Mar 2024 16:35:58 +0000
Received: from localhost ([127.0.0.1]:48778 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rhXlk-0000ju-Iz
	for submit <at> debbugs.gnu.org; Tue, 05 Mar 2024 11:35:58 -0500
Received: from relay7-d.mail.gandi.net ([217.70.183.200]:34867)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <juri@HIDDEN>) id 1rhXle-0000jb-MR
 for 10118 <at> debbugs.gnu.org; Tue, 05 Mar 2024 11:35:55 -0500
Received: by mail.gandi.net (Postfix) with ESMTPSA id C225920011;
 Tue,  5 Mar 2024 16:35:12 +0000 (UTC)
From: Juri Linkov <juri@HIDDEN>
In-Reply-To: <jwvplw95fbj.fsf-monnier+emacs@HIDDEN> (Stefan Monnier's message
 of "Tue, 05 Mar 2024 02:06:01 -0500")
Organization: LINKOV.NET
References: <CAH8Pv0hkLk3zFSwPkMtqT_nDFN7t3S9udbrdqYKSvSVD+y+UqQ@HIDDEN>
 <handler.s.R.13755413702453.info.0 <at> debbugs.gnu.org>
 <CAH8Pv0ijRMPf8wDpddOodtc=cw=CAdHGqFtbSCPDNn_xV2AKCA@HIDDEN>
 <jwvplw95fbj.fsf-monnier+emacs@HIDDEN>
Date: Tue, 05 Mar 2024 18:32:11 +0200
Message-ID: <861q8poydc.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/30.0.50 (x86_64-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: text/plain
X-GND-Sasl: juri@HIDDEN
X-Spam-Score: -0.5 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.5 (-)

>> I've been thinking a bit about this, and I'd like to propose this
>> solution:
>>
>> 1. Never downcase the text yanked into the search ring, because we
>> must remember the original text supplied by the user.  This implies
>> that the variable `search-upper-case' will not care about the value
>> `not-yanks' anymore.
>>
>> 2. When `search-upper-case' is non-nil, upper case chars will make the
>> search case-sensitive, but only when typed right from the keyboard,
>> i.e., not when grabbing text from another place (kill ring, buffer or
>> whatever).  This way, the search will be case-insensitive by default
>> (quite reasonable), and will only switch to case-sensitive under
>> explicit request from the user (either by _typing_ an upper case char
>> or "M-c").
>>
>> WDYT?
>
> Sounds good to me!

Then UI won't be WYSIWYG.  There will be upper-case characters
in the isearch message, but the search will ignore them.

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#10118: Fwd: GNU bugs information: logs for bug#10118
Resent-From: Stefan Monnier <monnier@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 05 Mar 2024 16:53:02 +0000
Resent-Message-ID: <handler.10118.B10118.17096575584842 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 10118
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Juri Linkov <juri@HIDDEN>
Cc: 10118 <at> debbugs.gnu.org, Dani Moncayo <dmoncayo@HIDDEN>
Received: via spool by 10118-submit <at> debbugs.gnu.org id=B10118.17096575584842
          (code B ref 10118); Tue, 05 Mar 2024 16:53:02 +0000
Received: (at 10118) by debbugs.gnu.org; 5 Mar 2024 16:52:38 +0000
Received: from localhost ([127.0.0.1]:48808 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1rhY1u-0001G2-Fd
	for submit <at> debbugs.gnu.org; Tue, 05 Mar 2024 11:52:38 -0500
Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:22311)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <monnier@HIDDEN>) id 1rhY1q-0001Fk-11
 for 10118 <at> debbugs.gnu.org; Tue, 05 Mar 2024 11:52:36 -0500
Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id EB0B8441399;
 Tue,  5 Mar 2024 11:51:57 -0500 (EST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca;
 s=mail; t=1709657516;
 bh=5CyrN5Rh6/1reqXoHXNcwVfTFnFbJMxGoN3k0BGqN3I=;
 h=From:To:Cc:Subject:In-Reply-To:References:Date:From;
 b=Qnp0U+PhZb82S/lLHy/Evwf743q3MluuEnxDI9adiGFraoVY9EeAOc+wcsZOM+dl8
 K99ibaBVv3uWJfZ/p3IOR/rP9MW4A4JM54MDovWNrYTWoG8RMjnAK/vbOOY2n+xP5c
 x5Pj26+ujhjVZxZZR//ftxb5mXsr6rfsGVBzHeNuTQQvEmPEzMCJ/MCj1Pa2HIEPqs
 hDXC4gXU8ERc8cP9xx/3adyoExiQG/2MRmo6xW61hzUysTaycS+BHlHjZj9eONCeFL
 YYaRSuxGeGPt1hGAr1Mapj+WMIvhqNAZeIc0IUyh5NzeWug5oiEX3bncEfNhsBf0Dm
 0bjKyNjG/lFAw==
Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1])
 by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id A7120441357;
 Tue,  5 Mar 2024 11:51:56 -0500 (EST)
Received: from pastel (unknown [104.247.233.29])
 by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 8484812082A;
 Tue,  5 Mar 2024 11:51:56 -0500 (EST)
From: Stefan Monnier <monnier@HIDDEN>
In-Reply-To: <861q8poydc.fsf@HIDDEN> (Juri Linkov's message of "Tue, 
 05 Mar 2024 18:32:11 +0200")
Message-ID: <jwvsf144obz.fsf-monnier+emacs@HIDDEN>
References: <CAH8Pv0hkLk3zFSwPkMtqT_nDFN7t3S9udbrdqYKSvSVD+y+UqQ@HIDDEN>
 <handler.s.R.13755413702453.info.0 <at> debbugs.gnu.org>
 <CAH8Pv0ijRMPf8wDpddOodtc=cw=CAdHGqFtbSCPDNn_xV2AKCA@HIDDEN>
 <jwvplw95fbj.fsf-monnier+emacs@HIDDEN>
 <861q8poydc.fsf@HIDDEN>
Date: Tue, 05 Mar 2024 11:51:55 -0500
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
X-SPAM-INFO: Spam detection results:  0
 ALL_TRUSTED                -1 Passed through trusted hosts only via SMTP
 AWL -0.258 Adjusted score from AWL reputation of From: address
 BAYES_00                 -1.9 Bayes spam probability is 0 to 1%
 DKIM_SIGNED               0.1 Message has a DKIM or DK signature,
 not necessarily valid
 DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature
 DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's
 domain
 DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from
 domain
 KAM_NUMSUBJECT 0.5 Subject ends in numbers excluding current years
 T_SCC_BODY_TEXT_LINE    -0.01 -
X-SPAM-LEVEL: 
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

>>> I've been thinking a bit about this, and I'd like to propose this
>>> solution:
>>>
>>> 1. Never downcase the text yanked into the search ring, because we
>>> must remember the original text supplied by the user.  This implies
>>> that the variable `search-upper-case' will not care about the value
>>> `not-yanks' anymore.
>>>
>>> 2. When `search-upper-case' is non-nil, upper case chars will make the
>>> search case-sensitive, but only when typed right from the keyboard,
>>> i.e., not when grabbing text from another place (kill ring, buffer or
>>> whatever).  This way, the search will be case-insensitive by default
>>> (quite reasonable), and will only switch to case-sensitive under
>>> explicit request from the user (either by _typing_ an upper case char
>>> or "M-c").
>>>
>>> WDYT?
>>
>> Sounds good to me!
>
> Then UI won't be WYSIWYG.  There will be upper-case characters
> in the isearch message, but the search will ignore them.

What I proposed wasn't WYSIWYG either, because the string was displayed
as lower-case until we switch off case-folding at which point it
"magically" reveals its latent capitalization.

I can think of some ways to try and visually indicate what's going on
(e.g. using colors on the upper-case-but-case-folded chars, or an
additional flag in the prompt).  Not sure what's the better option.


        Stefan

Last modified: Tue, 5 Mar 2024 17:00:02 UTC

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