From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Le Wang Newsgroups: gmane.emacs.bugs Subject: bug#17784: hilit-chg.el marks bigger change than necessary Date: Mon, 16 Jun 2014 17:35:55 -0400 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=e89a8f64701df4341304fbfacf59 X-Trace: ger.gmane.org 1402954644 2720 80.91.229.3 (16 Jun 2014 21:37:24 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 16 Jun 2014 21:37:24 +0000 (UTC) Cc: 17784@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Jun 16 23:37:17 2014 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 1Wweaa-0001M7-NR for geb-bug-gnu-emacs@m.gmane.org; Mon, 16 Jun 2014 23:37:16 +0200 Original-Received: from localhost ([::1]:46377 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wweaa-0006kl-7u for geb-bug-gnu-emacs@m.gmane.org; Mon, 16 Jun 2014 17:37:16 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:53316) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WweaS-0006jo-9d for bug-gnu-emacs@gnu.org; Mon, 16 Jun 2014 17:37:13 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WweaN-0002Hf-E9 for bug-gnu-emacs@gnu.org; Mon, 16 Jun 2014 17:37:08 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:58563) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WweaN-0002Hb-B5 for bug-gnu-emacs@gnu.org; Mon, 16 Jun 2014 17:37:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1WweaM-0006kk-Vm for bug-gnu-emacs@gnu.org; Mon, 16 Jun 2014 17:37:03 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Le Wang Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 16 Jun 2014 21:37:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 17784 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 17784-submit@debbugs.gnu.org id=B17784.140295456525873 (code B ref 17784); Mon, 16 Jun 2014 21:37:02 +0000 Original-Received: (at 17784) by debbugs.gnu.org; 16 Jun 2014 21:36:05 +0000 Original-Received: from localhost ([127.0.0.1]:49709 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WweZQ-0006jE-IR for submit@debbugs.gnu.org; Mon, 16 Jun 2014 17:36:04 -0400 Original-Received: from mail-we0-f181.google.com ([74.125.82.181]:44852) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WweZO-0006ic-1k for 17784@debbugs.gnu.org; Mon, 16 Jun 2014 17:36:02 -0400 Original-Received: by mail-we0-f181.google.com with SMTP id q59so6384612wes.12 for <17784@debbugs.gnu.org>; Mon, 16 Jun 2014 14:35:56 -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=zhlXeqUHrGVbJlR8o//qvhkLdD6VXTsg6vHPRo5eK7I=; b=0u1AYmC6f/ia2IHJTi/miflGFdGKX0n/3theWQhgT65isQKPsf7TOqklaVr0o09RsM 2fblGTG2Bb1r1tIHQjfqxjhQdcOALoQbFF/pZCOCIKvPGkK/O/6M/26sENJrJvWYwXlP xWj+Aa9gsEAOl9OJALVH8EuLSUECSqsn2uZ24nb+MJr3XyU/IXcD8lY73dm3gpzZWgQc /gOmP1Gj6Zpn3XN841n7GqkriOOQhiaZxInpertXhmdHbTTbMYeIIHyBhuAIHSQvR3O9 z5j+4F4YsWDV54lSNnAptlbHVpo/iynXl39ibiJO5Kw9MceHK4w88+2vkPgd0bw8T6si SRwQ== X-Received: by 10.180.37.230 with SMTP id b6mr30808864wik.47.1402954556124; Mon, 16 Jun 2014 14:35:56 -0700 (PDT) Original-Received: by 10.216.18.65 with HTTP; Mon, 16 Jun 2014 14:35:55 -0700 (PDT) Original-Received: by 10.216.18.65 with HTTP; Mon, 16 Jun 2014 14:35:55 -0700 (PDT) In-Reply-To: X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.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:90452 Archived-At: --e89a8f64701df4341304fbfacf59 Content-Type: text/plain; charset=UTF-8 Yes that sounds right. On 16 Jun 2014 17:02, "Stefan Monnier" wrote: > > 2. insert "a" on line 2, before "_" > > 3. backspace > > 4. insert "a" on line 2, before "_", again > > 5. inspect text property of "_", and notice it has hilit-chg property > > even though it hasn't been changed. > > IIUC the property is added at step 3 to remember that something was > removed here. So I guess what you're saying is that we could remove > that property at step 4 since the insertion makes it redundant. > > > Stefan > --e89a8f64701df4341304fbfacf59 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Yes that sounds right.

--e89a8f64701df4341304fbfacf59--