GNU logs - #80007, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#80007: hl-line-mode vs. cursor-intangible-mode race condition
Resent-From: =?UTF-8?Q?St=C3=A9phane?= Marks <shipmints@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 14 Dec 2025 19:02:02 +0000
Resent-Message-ID: <handler.80007.B.176573889913888 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 80007 <at> debbugs.gnu.org
MIME-Version: 1.0
From: =?UTF-8?Q?St=C3=A9phane?= Marks <shipmints@HIDDEN>
Date: Sun, 14 Dec 2025 14:01:16 -0500
Message-ID: <CAN+1HbqgSmKMeJx-FfnStMHJpoPVufDVhdgJxaxpWkGrkDkp7Q@HIDDEN>
Content-Type: multipart/alternative; boundary="0000000000002fa4760645ee1f8b"
Received-SPF: pass client-ip=2607:f8b0:4864:20::a2c;
 envelope-from=shipmints@HIDDEN; helo=mail-vk1-xa2c.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.0 (+)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.0 (/)

--0000000000002fa4760645ee1f8b
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

The reproducer, below, finds point winding up on the first line, yet
hl-line highlights the second line.  I believe this is due to hl-line
updating via post-command-hook and cursor-intangible-mode
(cursor-sensor--move-to-tangible) updating via. pre-redisplay-functions.
Hence the race which hl-line loses where the highlighted line is
"incorrect" if cursor-sensor--move-to-tangible moved point after hl-line
thought it was highlighting the correct line.

Not precisely sure how to deal with this but here are a couple of, perhaps
silly, ideas that come to mind and might spawn a better approach.

- hl-line could check if cursor-intangible-mode is enabled and defer its
update

- Schedule hl-line update via an immediate timer that runs after redisplay
ends

(let ((buffer (get-buffer-create "hl-line-cursor-intangible-test")))
  (switch-to-buffer buffer)
  (set-buffer buffer)
  (hl-line-mode)
  (cursor-intangible-mode)
  (insert
   "TANGIBLE\n"
   (propertize "INTANGIBLE\n"
               'face '(:weight bold)
               'cursor-intangible t
               'front-sticky t))
  (goto-char (point-min))
  (next-line))

-St=C3=A9phane

--0000000000002fa4760645ee1f8b
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:monospac=
e">The reproducer, below, finds point winding up on the first line, yet hl-=
line highlights the second line.=C2=A0 I believe this is due to hl-line upd=
ating via post-command-hook and cursor-intangible-mode (cursor-sensor--move=
-to-tangible) updating via. pre-redisplay-functions.=C2=A0 Hence the race w=
hich hl-line loses where the highlighted line is &quot;incorrect&quot; if c=
ursor-sensor--move-to-tangible moved point after hl-line thought it was hig=
hlighting the correct line.</div><div class=3D"gmail_default" style=3D"font=
-family:monospace"><br></div><div class=3D"gmail_default" style=3D"font-fam=
ily:monospace">Not precisely sure how to deal with this but here are a coup=
le of, perhaps silly, ideas that come to mind and might spawn a better appr=
oach.</div><div class=3D"gmail_default" style=3D"font-family:monospace"><br=
></div><div class=3D"gmail_default" style=3D"font-family:monospace">- hl-li=
ne could check if cursor-intangible-mode is enabled and defer its update</d=
iv><div class=3D"gmail_default" style=3D"font-family:monospace"><br>- Sched=
ule hl-line update via an immediate timer that runs after redisplay ends</d=
iv><div class=3D"gmail_default" style=3D"font-family:monospace"><br></div><=
div class=3D"gmail_default" style=3D"font-family:monospace">(let ((buffer (=
get-buffer-create &quot;hl-line-cursor-intangible-test&quot;)))</div><div c=
lass=3D"gmail_default" style=3D"font-family:monospace">=C2=A0 (switch-to-bu=
ffer buffer)<br>=C2=A0 (set-buffer buffer)<br>=C2=A0 (hl-line-mode)<br>=C2=
=A0 (cursor-intangible-mode)<br>=C2=A0 (insert<br>=C2=A0 =C2=A0&quot;TANGIB=
LE\n&quot;<br>=C2=A0 =C2=A0(propertize &quot;INTANGIBLE\n&quot;<br>=C2=A0 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0&#39;face &#39;(:weight bol=
d)<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0&#39;cursor-in=
tangible t<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0&#39;f=
ront-sticky t))<br>=C2=A0 (goto-char (point-min))<br>=C2=A0 (next-line))<br=
></div><div class=3D"gmail_default" style=3D"font-family:monospace"><br></d=
iv><div class=3D"gmail_default" style=3D"font-family:monospace">-St=C3=A9ph=
ane=C2=A0</div></div>

--0000000000002fa4760645ee1f8b--

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: =?UTF-8?Q?St=C3=A9phane?= Marks <shipmints@HIDDEN>
Subject: bug#80007: Acknowledgement (hl-line-mode vs. cursor-intangible-mode
 race condition)
Message-ID: <handler.80007.B.176573889913888.ack <at> debbugs.gnu.org>
References: <CAN+1HbqgSmKMeJx-FfnStMHJpoPVufDVhdgJxaxpWkGrkDkp7Q@HIDDEN>
X-Gnu-PR-Message: ack 80007
X-Gnu-PR-Package: emacs
Reply-To: 80007 <at> debbugs.gnu.org
Date: Sun, 14 Dec 2025 19:02:03 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 80007 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
80007: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D80007
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#80007: hl-line-mode vs. cursor-intangible-mode race condition
Resent-From: Juri Linkov <juri@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 15 Dec 2025 07:05:02 +0000
Resent-Message-ID: <handler.80007.B80007.176578226918852 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: =?UTF-8?Q?St=C3=A9phane?= Marks <shipmints@HIDDEN>
Cc: 80007 <at> debbugs.gnu.org
From: Juri Linkov <juri@HIDDEN>
In-Reply-To: <CAN+1HbqgSmKMeJx-FfnStMHJpoPVufDVhdgJxaxpWkGrkDkp7Q@HIDDEN>
Organization: LINKOV.NET
References: <CAN+1HbqgSmKMeJx-FfnStMHJpoPVufDVhdgJxaxpWkGrkDkp7Q@HIDDEN>
Date: Mon, 15 Dec 2025 09:03:37 +0200
Message-ID: <87bjk0fdae.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

>   (hl-line-mode)

Please note that recently 'hl-line-mode' was obsoleted by the new value
of 'global-hl-line-sticky-flag' that uses 'pre-redisplay-functions'.

So please try with these settings:

  (setopt global-hl-line-sticky-flag 'window)

and enable 'global-hl-line-mode' instead of 'hl-line-mode'.

Last modified: Mon, 15 Dec 2025 07:15:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.