From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Lars Ingebrigtsen Newsgroups: gmane.emacs.devel Subject: Re: Text property searching Date: Mon, 16 Apr 2018 20:03:56 +0200 Message-ID: <87sh7vyqnn.fsf@mouse.gnus.org> References: <87lgdo5bb3.fsf@mouse.gnus.org> <871sff140a.fsf@mouse.gnus.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1523901777 11960 195.159.176.226 (16 Apr 2018 18:02:57 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 16 Apr 2018 18:02:57 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Apr 16 20:02:53 2018 Return-path: Envelope-to: ged-emacs-devel@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 1f88Sr-0002xZ-9x for ged-emacs-devel@m.gmane.org; Mon, 16 Apr 2018 20:02:53 +0200 Original-Received: from localhost ([::1]:33935 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f88Uw-0008Vm-C3 for ged-emacs-devel@m.gmane.org; Mon, 16 Apr 2018 14:05:02 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:48419) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f88UC-0008UE-VG for emacs-devel@gnu.org; Mon, 16 Apr 2018 14:04:17 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f88U9-0003gG-Qc for emacs-devel@gnu.org; Mon, 16 Apr 2018 14:04:16 -0400 Original-Received: from hermes.netfonds.no ([80.91.224.195]:44619) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f88U9-0003f6-JD for emacs-devel@gnu.org; Mon, 16 Apr 2018 14:04:13 -0400 Original-Received: from 46.67.12.60.tmi.telenormobil.no ([46.67.12.60] helo=corrigan) by hermes.netfonds.no with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1f88U5-0001qq-1S for emacs-devel@gnu.org; Mon, 16 Apr 2018 20:04:11 +0200 Original-Received: from larsi by corrigan with local (Exim 4.89) (envelope-from ) id 1f88Tx-0007Rq-7c for emacs-devel@gnu.org; Mon, 16 Apr 2018 20:04:01 +0200 In-Reply-To: <871sff140a.fsf@mouse.gnus.org> (Lars Ingebrigtsen's message of "Mon, 16 Apr 2018 18:59:33 +0200") X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 80.91.224.195 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:224657 Archived-At: I've now implemented this on the scratch/prop-search branch. It got a bit more convoluted than I originally thought, but I think it should do what you'd expect now. The subtleties are between searching for things that don't match, and searching for nothing that doesn't match. The known unknowns and the unknown knowns. I'm sure. -- (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no