From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Marcin Borkowski Newsgroups: gmane.emacs.bugs Subject: bug#6922: 23.1; Setting read-only property in an overlay has no effect Date: Sun, 07 Feb 2016 23:30:42 +0100 Message-ID: <87twlkb1bh.fsf@mbork.pl> References: <1282834016.22363.1391876553@webmail.messagingengine.com> <87wpr67ezy.fsf@mbork.pl> <837fj49lni.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1454884283 4210 80.91.229.3 (7 Feb 2016 22:31:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 7 Feb 2016 22:31:23 +0000 (UTC) Cc: mt_void@warpmail.net, Richard Stallman , 6922@debbugs.gnu.org To: John Wiegley Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sun Feb 07 23:31:12 2016 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aSXrL-0005zp-5O for geb-bug-gnu-emacs@m.gmane.org; Sun, 07 Feb 2016 23:31:11 +0100 Original-Received: from localhost ([::1]:38787 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aSXrK-0004ZK-Fv for geb-bug-gnu-emacs@m.gmane.org; Sun, 07 Feb 2016 17:31:10 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:47483) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aSXrG-0004Yw-EM for bug-gnu-emacs@gnu.org; Sun, 07 Feb 2016 17:31:07 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aSXrC-0001oC-8g for bug-gnu-emacs@gnu.org; Sun, 07 Feb 2016 17:31:06 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:57318) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aSXrC-0001o7-5T for bug-gnu-emacs@gnu.org; Sun, 07 Feb 2016 17:31:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84) (envelope-from ) id 1aSXrB-0005Gh-PV for bug-gnu-emacs@gnu.org; Sun, 07 Feb 2016 17:31:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Marcin Borkowski Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 07 Feb 2016 22:31:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 6922 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 6922-submit@debbugs.gnu.org id=B6922.145488424920233 (code B ref 6922); Sun, 07 Feb 2016 22:31:01 +0000 Original-Received: (at 6922) by debbugs.gnu.org; 7 Feb 2016 22:30:49 +0000 Original-Received: from localhost ([127.0.0.1]:37674 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aSXqz-0005GG-6L for submit@debbugs.gnu.org; Sun, 07 Feb 2016 17:30:49 -0500 Original-Received: from mail.mojserwer.eu ([195.110.48.8]:53436) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aSXqy-0005G9-4j for 6922@debbugs.gnu.org; Sun, 07 Feb 2016 17:30:48 -0500 Original-Received: from localhost (localhost [127.0.0.1]) by mail.mojserwer.eu (Postfix) with ESMTP id A87C59D2002; Sun, 7 Feb 2016 23:30:46 +0100 (CET) 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 a6R4heB9tZGO; Sun, 7 Feb 2016 23:30:42 +0100 (CET) Original-Received: from localhost (unknown [109.232.24.28]) by mail.mojserwer.eu (Postfix) with ESMTPSA id C8CFF9D2001; Sun, 7 Feb 2016 23:30:42 +0100 (CET) User-agent: mu4e 0.9.13; emacs 25.1.50.1 In-reply-to: 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-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:112669 Archived-At: On 2016-02-07, at 23:24, John Wiegley wrote: >>>>>> Eli Zaretskii writes: > >> What is the current consensus? should we adjust the documentation or fix the >> code? John? Richard? > > I think read-only overlays could be very useful. For example: > > 1. Create a command called `mask-regexp'. It creates read-only overlays for > matching text throughout the buffer. > 2. There should also be a way to add manual masks, using `mask-region'. > 3. Now use `replace-string' or any other command to bulk transform text. > However, masked text is not changed. > 4. Then execute unmask-all, and the mask disappears. > > This method of editing is key to video editing workflows. I think the only > reason I never thought to use it in Emacs is because it's never been there > (and so never occurred to me until now). That's a fantastic idea! I envision "LaTeX-mask-environment", and bam! query-replace does not touch verbatim, for instance. That could be very useful! I did something similar with texmathp and math mode, but I like your approach with "masking". Best, -- Marcin Borkowski http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski Faculty of Mathematics and Computer Science Adam Mickiewicz University