From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.ciao.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.bugs Subject: bug#34150: 26.1; Document filtering with `isearch-filter-predicate' in Elisp manual Date: Mon, 21 Jan 2019 10:40:36 -0800 (PST) Message-ID: <208f2037-8fa0-4475-a9cf-b2417613af5c@default> References: <<8c207ca2-39ae-4ec1-acbd-358165964319@default>> <<83o98a9e2l.fsf@gnu.org>> <<8c88ff94-e322-4754-b74a-c792512ec277@default>> <<83h8e1amsu.fsf@gnu.org>> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.org; posting-host="ciao.gmane.org:195.159.176.228"; logging-data="133081"; mail-complaints-to="usenet@ciao.gmane.org" Cc: 34150@debbugs.gnu.org To: Eli Zaretskii , Drew Adams Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Jan 21 19:53:58 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1glehf-000YD7-RB for geb-bug-gnu-emacs@m.gmane.org; Mon, 21 Jan 2019 19:53:47 +0100 Original-Received: from localhost ([127.0.0.1]:57914 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gleYX-0003C3-IE for geb-bug-gnu-emacs@m.gmane.org; Mon, 21 Jan 2019 13:44:21 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:32888) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gleVN-0000Sl-Ds for bug-gnu-emacs@gnu.org; Mon, 21 Jan 2019 13:41:06 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gleVM-0005PX-N6 for bug-gnu-emacs@gnu.org; Mon, 21 Jan 2019 13:41:05 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:41152) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gleVK-0005Oo-9R for bug-gnu-emacs@gnu.org; Mon, 21 Jan 2019 13:41:04 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gleVK-0004pv-2u for bug-gnu-emacs@gnu.org; Mon, 21 Jan 2019 13:41:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Drew Adams Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 21 Jan 2019 18:41:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 34150 X-GNU-PR-Package: emacs Original-Received: via spool by 34150-submit@debbugs.gnu.org id=B34150.154809605118567 (code B ref 34150); Mon, 21 Jan 2019 18:41:02 +0000 Original-Received: (at 34150) by debbugs.gnu.org; 21 Jan 2019 18:40:51 +0000 Original-Received: from localhost ([127.0.0.1]:40433 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gleV8-0004pP-UF for submit@debbugs.gnu.org; Mon, 21 Jan 2019 13:40:51 -0500 Original-Received: from userp2120.oracle.com ([156.151.31.85]:45534) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gleV7-0004pB-Ba for 34150@debbugs.gnu.org; Mon, 21 Jan 2019 13:40:49 -0500 Original-Received: from pps.filterd (userp2120.oracle.com [127.0.0.1]) by userp2120.oracle.com (8.16.0.22/8.16.0.22) with SMTP id x0LIdvxs067466; Mon, 21 Jan 2019 18:40:43 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=mime-version : message-id : date : from : sender : to : cc : subject : references : in-reply-to : content-type : content-transfer-encoding; s=corp-2018-07-02; bh=j8peNFKkrcbE9iVwZcR5f65GvqF354Z1xOwWukTQD3s=; b=gzTa6UVlh6IZoaJ28p8zLRPO6BGFl2wG1GXDJX6nO6AzAnpvASnrmUvbshgLBP9mzQE+ vdJl81FSxZj3ZBkzc2gN6ZPPrT0U6hrnF9O/MFMLU49V6OvJ6/11pBJdY/EW0ccNZAjm uA2D6wSqEzoADtNBJykn1dDyF8KzIXbJDOAfyLogiNWM0CkbgMWvFm7J1/J8myXa3E32 5XAVGXbzA9nMsCWq+qa+2bJSZJU6mVtbMk5GKvv/ju8tBnFD2JC7Z4vL3Gx7d0EOSR2n kI0MDPCIIZWUhKKo1Zn4SRLSAYMxRsoKx1NhyoG/HTZfKJFtkumQe7dXrNI4fQz14DTp oQ== Original-Received: from userv0022.oracle.com (userv0022.oracle.com [156.151.31.74]) by userp2120.oracle.com with ESMTP id 2q3vhrfxqr-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 21 Jan 2019 18:40:43 +0000 Original-Received: from userv0122.oracle.com (userv0122.oracle.com [156.151.31.75]) by userv0022.oracle.com (8.14.4/8.14.4) with ESMTP id x0LIebLm011847 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 21 Jan 2019 18:40:38 GMT Original-Received: from abhmp0013.oracle.com (abhmp0013.oracle.com [141.146.116.19]) by userv0122.oracle.com (8.14.4/8.14.4) with ESMTP id x0LIeb31015774; Mon, 21 Jan 2019 18:40:37 GMT In-Reply-To: <<83h8e1amsu.fsf@gnu.org>> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 16.0.4795.0 (x86)] X-Proofpoint-Virus-Version: vendor=nai engine=5900 definitions=9143 signatures=668682 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1901210145 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: 209.51.188.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:154652 Archived-At: > > But it and its consequences are not necessarily > > obvious - especially to a user searching, as opposed > > to a programmer writing a filter predicate. >=20 > This is not a user-level facility, so the user perspective is not > relevant. The "user perspective" is always relevant for Emacs. We are all users. Searching is a user-level facility. If a search imposes/provides filtering, that certainly affects user-visible behavior. Users should understand that behavior. Anyone imposing such filtering on users should consider its effects on users, including the considerations raised by this bug report. That starts with making the behavior and consequences clear to filter implementors.