From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Marcin Borkowski Newsgroups: gmane.emacs.help Subject: Re: How to remove a property from an overlay? Date: Sat, 31 Jul 2021 10:45:16 +0200 Message-ID: <87bl6idg83.fsf@mbork.pl> References: <87pmuzd56g.fsf@mbork.pl> <837dh7r62a.fsf@gnu.org> <87o8ajd3ad.fsf@mbork.pl> <831r7fr3cb.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="7975"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: mu4e 1.1.0; emacs 28.0.50 Cc: help-gnu-emacs@gnu.org To: Eli Zaretskii Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Sat Jul 31 10:46:06 2021 Return-path: Envelope-to: geh-help-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 1m9kdC-0001sS-5Q for geh-help-gnu-emacs@m.gmane-mx.org; Sat, 31 Jul 2021 10:46:06 +0200 Original-Received: from localhost ([::1]:59030 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1m9kdA-0003sP-IZ for geh-help-gnu-emacs@m.gmane-mx.org; Sat, 31 Jul 2021 04:46:04 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:33328) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1m9kcg-0003rj-PS for help-gnu-emacs@gnu.org; Sat, 31 Jul 2021 04:45:34 -0400 Original-Received: from mail.mojserwer.eu ([195.110.48.8]:40372) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1m9kcb-0007f5-Iu; Sat, 31 Jul 2021 04:45:34 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by mail.mojserwer.eu (Postfix) with ESMTP id 9B73BE6B6A; Sat, 31 Jul 2021 10:45:21 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at mail.mojserwer.eu Original-Received: from mail.mojserwer.eu ([127.0.0.1]) by localhost (mail.mojserwer.eu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id LpcY3s1gmDWQ; Sat, 31 Jul 2021 10:45:18 +0200 (CEST) Original-Received: from localhost (178235147005.dynamic-3-poz-k-0-1-0.vectranet.pl [178.235.147.5]) by mail.mojserwer.eu (Postfix) with ESMTPSA id 2B4FFE61C2; Sat, 31 Jul 2021 10:45:17 +0200 (CEST) In-reply-to: <831r7fr3cb.fsf@gnu.org> Received-SPF: pass client-ip=195.110.48.8; envelope-from=mbork@mbork.pl; helo=mail.mojserwer.eu X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "help-gnu-emacs" Xref: news.gmane.io gmane.emacs.help:132211 Archived-At: On 2021-07-30, at 21:47, Eli Zaretskii wrote: >> From: Marcin Borkowski >> Cc: help-gnu-emacs@gnu.org >> Date: Fri, 30 Jul 2021 21:12:26 +0200 >> >> >> (overlay-put ovl 'prop nil) >> >> >> >> which does not really remove it, only sets it to nil? >> > >> > What's the difference? >> >> When I say `(overlay-properties ovl)', I can see `prop' set to nil. >> Before setting it, I couldn't. > > And why is that difference important? Because of my OCD, perhaps? > Overlay properties exist to search for them with the likes of > next-single-char-property-change, and those don't distinguish between > the two. I see. > But if you must remove the property, I think the only way is to make > another overlay with all the properties except the one you want to > remove. I see. Not worth it, of course. Thanks! -- Marcin Borkowski http://mbork.pl