GNU bug report logs - #70019
30.0.50; bookmark-set: fringe icon (again)

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 70019 in the body.
You can then email your comments to 70019 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Dani Moncayo <dmoncayo <at> gmail.com>
To: bug-gnu-emacs <bug-gnu-emacs <at> gnu.org>
Subject: 30.0.50; bookmark-set: fringe icon (again)
Date: Tue, 26 Mar 2024 21:30:27 +0100

Recipe from "emacs -Q":

1. Open the Emacs manual [C-h r].
2. Set a named bookmark in some line of the *info* node [C-x r m f o o RET].
3. Go to another *info* node and repeat step #2 there (with the same
bookmark name).

When I do this, I still see a "bookmark" icon in the fringe of the
first *info* node (wrong, since the bookmark now refers to another
place).

Also, if I delete the bookmark (from the "*Bookmark List*" buffer), I
still see the icons in the fringe on both *info* nodes.

--
Dani Moncayo

In GNU Emacs 30.0.50 (build 3, x86_64-pc-linux-gnu, GTK+ Version
 3.24.38, cairo version 1.18.0) of 2024-03-26 built on C11-Q8YAKWONJX0
Repository revision: 351d98535dc10f8338b8a418e331cc0af488087b
Repository branch: master
Windowing system distributor 'Microsoft Corporation', version 11.0.12010000
System Description: Ubuntu 23.10

Configured features:
CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GSETTINGS HARFBUZZ JPEG
LIBSELINUX LIBXML2 MODULES NOTIFY INOTIFY PDUMPER PNG SECCOMP SOUND
THREADS TIFF TOOLKIT_SCROLL_BARS TREE_SITTER WEBP X11 XDBE XIM XINPUT2
XPM GTK3 ZLIB

Important settings:
  value of $LANG: C.UTF-8
  locale-coding-system: utf-8-unix

Message #8 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Dani Moncayo <dmoncayo <at> gmail.com>
To: 70019 <at> debbugs.gnu.org
Subject: 30.0.50; bookmark-set: fringe icon (again)
Date: Wed, 27 Mar 2024 11:52:02 +0100

Another misbehavior I see:

1. Open some *info* manual and set a named bookmark there.  E.g. [C-h
r C-x r m f o o RET].
2. Kill the *info* buffer and open it again: [C-x k RET C-h r].

When I do that, I don't see the bookmark icon in the fringe (wrong).
But I _do_ see the icon if I _jump_ to the bookmark: [C-x r b f o o RET]

-- 
Dani Moncayo

Message #11 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Dani Moncayo <dmoncayo <at> gmail.com>, Karl Fogel <kfogel <at> red-bean.com>,
 Juri Linkov <juri <at> linkov.net>
Cc: 70019 <at> debbugs.gnu.org
Subject: Re: bug#70019: 30.0.50; bookmark-set: fringe icon (again)
Date: Wed, 27 Mar 2024 14:48:54 +0200

> From: Dani Moncayo <dmoncayo <at> gmail.com>
> Date: Wed, 27 Mar 2024 11:52:02 +0100
> 
> Another misbehavior I see:
> 
> 1. Open some *info* manual and set a named bookmark there.  E.g. [C-h
> r C-x r m f o o RET].
> 2. Kill the *info* buffer and open it again: [C-x k RET C-h r].
> 
> When I do that, I don't see the bookmark icon in the fringe (wrong).
> But I _do_ see the icon if I _jump_ to the bookmark: [C-x r b f o o RET]

Karl and Juri, would you please look into these two issues regarding
bookmarks in Info buffers?

Thanks.

Message #14 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Karl Fogel <kfogel <at> red-bean.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 70019 <at> debbugs.gnu.org, Juri Linkov <juri <at> linkov.net>,
 Dani Moncayo <dmoncayo <at> gmail.com>
Subject: Re: bug#70019: 30.0.50; bookmark-set: fringe icon (again)
Date: Wed, 27 Mar 2024 15:45:55 -0500

On 27 Mar 2024, Eli Zaretskii wrote:
>> From: Dani Moncayo <dmoncayo <at> gmail.com>
>> Date: Wed, 27 Mar 2024 11:52:02 +0100
>> 
>> Another misbehavior I see:
>> 
>> 1. Open some *info* manual and set a named bookmark there. 
>> E.g. [C-h
>> r C-x r m f o o RET].
>> 2. Kill the *info* buffer and open it again: [C-x k RET C-h r].
>> 
>> When I do that, I don't see the bookmark icon in the fringe 
>> (wrong).
>> But I _do_ see the icon if I _jump_ to the bookmark: [C-x r b f 
>> o o RET]
>
>Karl and Juri, would you please look into these two issues 
>regarding
>bookmarks in Info buffers?

Okay; I'll try to look into it this weekend.  Thank you for 
calling this to our attention.

Best regards,
-Karl

Message #17 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Karl Fogel <kfogel <at> red-bean.com>
Cc: 70019 <at> debbugs.gnu.org, juri <at> linkov.net, dmoncayo <at> gmail.com
Subject: Re: bug#70019: 30.0.50; bookmark-set: fringe icon (again)
Date: Sat, 06 Apr 2024 12:15:50 +0300

> From: Karl Fogel <kfogel <at> red-bean.com>
> Cc: Dani Moncayo <dmoncayo <at> gmail.com>,  Juri Linkov <juri <at> linkov.net>,
>   70019 <at> debbugs.gnu.org
> Date: Wed, 27 Mar 2024 15:45:55 -0500
> 
> On 27 Mar 2024, Eli Zaretskii wrote:
> >> From: Dani Moncayo <dmoncayo <at> gmail.com>
> >> Date: Wed, 27 Mar 2024 11:52:02 +0100
> >> 
> >> Another misbehavior I see:
> >> 
> >> 1. Open some *info* manual and set a named bookmark there. 
> >> E.g. [C-h
> >> r C-x r m f o o RET].
> >> 2. Kill the *info* buffer and open it again: [C-x k RET C-h r].
> >> 
> >> When I do that, I don't see the bookmark icon in the fringe 
> >> (wrong).
> >> But I _do_ see the icon if I _jump_ to the bookmark: [C-x r b f 
> >> o o RET]
> >
> >Karl and Juri, would you please look into these two issues 
> >regarding
> >bookmarks in Info buffers?
> 
> Okay; I'll try to look into it this weekend.  Thank you for 
> calling this to our attention.

Any progress there?

Message #20 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: kfogel <at> red-bean.com
Cc: 70019 <at> debbugs.gnu.org, dmoncayo <at> gmail.com, juri <at> linkov.net
Subject: Re: bug#70019: 30.0.50; bookmark-set: fringe icon (again)
Date: Thu, 18 Apr 2024 12:03:42 +0300

Ping!  Karl, any progress here?

> Cc: 70019 <at> debbugs.gnu.org, juri <at> linkov.net, dmoncayo <at> gmail.com
> Date: Sat, 06 Apr 2024 12:15:50 +0300
> From: Eli Zaretskii <eliz <at> gnu.org>
> 
> > From: Karl Fogel <kfogel <at> red-bean.com>
> > Cc: Dani Moncayo <dmoncayo <at> gmail.com>,  Juri Linkov <juri <at> linkov.net>,
> >   70019 <at> debbugs.gnu.org
> > Date: Wed, 27 Mar 2024 15:45:55 -0500
> > 
> > On 27 Mar 2024, Eli Zaretskii wrote:
> > >> From: Dani Moncayo <dmoncayo <at> gmail.com>
> > >> Date: Wed, 27 Mar 2024 11:52:02 +0100
> > >> 
> > >> Another misbehavior I see:
> > >> 
> > >> 1. Open some *info* manual and set a named bookmark there. 
> > >> E.g. [C-h
> > >> r C-x r m f o o RET].
> > >> 2. Kill the *info* buffer and open it again: [C-x k RET C-h r].
> > >> 
> > >> When I do that, I don't see the bookmark icon in the fringe 
> > >> (wrong).
> > >> But I _do_ see the icon if I _jump_ to the bookmark: [C-x r b f 
> > >> o o RET]
> > >
> > >Karl and Juri, would you please look into these two issues 
> > >regarding
> > >bookmarks in Info buffers?
> > 
> > Okay; I'll try to look into it this weekend.  Thank you for 
> > calling this to our attention.
> 
> Any progress there?
> 
> 
> 
> 

Message #23 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Karl Fogel <kfogel <at> red-bean.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 70019 <at> debbugs.gnu.org, dmoncayo <at> gmail.com, juri <at> linkov.net
Subject: Re: bug#70019: 30.0.50; bookmark-set: fringe icon (again)
Date: Thu, 18 Apr 2024 12:12:03 -0500

On 18 Apr 2024, Eli Zaretskii wrote:
>Ping!  Karl, any progress here?

Reproduced now.  Working on diagnosis and fix.

Best regards,
-Karl

Message #26 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Karl Fogel <kfogel <at> red-bean.com>
To: Emacs Developers <emacs-devel <at> gnu.org>
Cc: 70019 <at> debbugs.gnu.org, Dani Moncayo <dmoncayo <at> gmail.com>
Subject: [PATCH] Fix two bugs in removing bookmark fringe marks (bug#70019)
Date: Fri, 19 Apr 2024 00:19:45 -0500

[Message part 1 (text/plain, inline)]

I'd appreciate some review on this patch.  I've no prior 
experience with fringe mark code (someone else added fringe mark 
support to bookmark.el).

This should fix bug#70019 and a separate-but-sort-of-related bug.

I'll wait at least a few days for comments/review before 
committing.

Best regards,
-Karl

[0001-Fix-two-bugs-in-removing-bookmark-fringe-marks.patch (text/plain, attachment)]

Message #29 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Dani Moncayo <dmoncayo <at> gmail.com>
To: Karl Fogel <kfogel <at> red-bean.com>
Cc: 70019 <at> debbugs.gnu.org, Emacs Developers <emacs-devel <at> gnu.org>
Subject: Re: [PATCH] Fix two bugs in removing bookmark fringe marks (bug#70019)
Date: Fri, 19 Apr 2024 10:01:42 +0200

> This should fix bug#70019 and a separate-but-sort-of-related bug.
>
> I'll wait at least a few days for comments/review before
> committing.

I've applied the patch to my source tree and re-made my out-of-tree build.
But I still see the same problems reported in this bug ticket.
Maybe I've made some mistake... ¿Don't you see the problems with the
patch applied?

-- 
Dani Moncayo

Message #32 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Karl Fogel <kfogel <at> red-bean.com>
To: Dani Moncayo <dmoncayo <at> gmail.com>
Cc: 70019 <at> debbugs.gnu.org, Emacs Developers <emacs-devel <at> gnu.org>
Subject: Re: [PATCH] Fix two bugs in removing bookmark fringe marks (bug#70019)
Date: Fri, 19 Apr 2024 19:54:02 -0500

[Message part 1 (text/plain, inline)]

On 19 Apr 2024, Dani Moncayo wrote:
>I've applied the patch to my source tree and re-made my 
>out-of-tree build.
>But I still see the same problems reported in this bug ticket.
>Maybe I've made some mistake... ¿Don't you see the problems with 
>the
>patch applied?

Nope, you didn't make any mistake.  I see the problem; please try 
this revised version, and thank you for testing.

Best regards,
-Karl

[0001-Fix-two-bugs-in-removing-bookmark-fringe-marks.patch (text/plain, attachment)]

Message #35 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Dani Moncayo <dmoncayo <at> gmail.com>
To: Karl Fogel <kfogel <at> red-bean.com>
Cc: 70019 <at> debbugs.gnu.org, Emacs Developers <emacs-devel <at> gnu.org>
Subject: Re: [PATCH] Fix two bugs in removing bookmark fringe marks (bug#70019)
Date: Sat, 20 Apr 2024 08:50:30 +0200

On Sat, Apr 20, 2024 at 2:54 AM Karl Fogel <kfogel <at> red-bean.com> wrote:
> Nope, you didn't make any mistake.  I see the problem; please try
> this revised version, and thank you for testing.

OK.  With this second patch, I don't see the first problem [1]
anymore, but I keep seeing the second one [2].

-- 
Dani Moncayo

[1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70019#5
[2] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70019#8

Message #38 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Karl Fogel <kfogel <at> red-bean.com>
To: Dani Moncayo <dmoncayo <at> gmail.com>
Cc: 70019 <at> debbugs.gnu.org, Emacs Developers <emacs-devel <at> gnu.org>
Subject: Re: [PATCH] Fix two bugs in removing bookmark fringe marks (bug#70019)
Date: Sun, 21 Apr 2024 22:51:43 -0500

On 20 Apr 2024, Dani Moncayo wrote:
>On Sat, Apr 20, 2024 at 2:54 AM Karl Fogel <kfogel <at> red-bean.com> 
>wrote:
>> Nope, you didn't make any mistake.  I see the problem; please
>> try this revised version, and thank you for testing.
>
>OK.  With this second patch, I don't see the first problem [1]
>anymore, but I keep seeing the second one [2].

Ah, I'm sorry, I meant to discuss that second problem here.  For 
reference, here's your description of it:

> 1. Open some *info* manual and set a named bookmark there.
> E.g. [C-h r C-x r m f o o RET].
> 2. Kill the *info* buffer and open it again: [C-x k RET C-h r].
> 
> When I do that, I don't see the bookmark icon in the fringe 
> (wrong).
>
> But I _do_ see the icon if I _jump_ to the bookmark: [C-x r b f 
> o o RET]

This is the expected behavior, I think.

Let me explain why I believe that.  If you or someone can point 
out why this reasoning is wrong, I'd appreciate it.

In general, there's no mechanism for a bookmark fringe mark to be 
shown when one goes to a bookmarked location by some means *other* 
than through a bookmark function.

For example,

1. Find a file "SomeFile" in your home directory.

2. Create new bookmark "foo" on the first line.

  (Now you see a fringe mark.)

3. Kill the buffer entirely. 

4. Use [C-x C-f] to find "SomeFile" into a buffer again.

  (Now you don't see a fringe mark.)

5. Kill the buffer again.

6. Use [C-x r b] (`bookmark-jump') to visit bookmark "foo"

  (Now you see the fringe mark again.)

The reason the fringe mark appears in Step 6 is because the 
bookmark code had a chance to get involved (i.e., 
`bookmark--set-fringe-mark' got called somewhere along the way 
from `bookmark-jump').

In general, if you set a bookmark in a buffer, and you merely 
*leave* the buffer but don't kill the buffer (e.g., you do 
`bury-buffer' or something), then that fringe mark will still be 
there when you come back.  The fringe mark will also be placed if 
you get to the location via `bookmark-jump', and if you set a 
bookmark there with `bookmark-set'.

Also, if you retarget bookmark "foo" to point to a new location, 
then if there's some buffer currently displaying the old target of 
"foo", that old buffer's corresponding fringe mark for "foo" will 
get removed (bug #1 that I just fixed was about a special case of 
this behavior).

Now let's look at how this all works with Info nodes:

Often, two Info nodes are actually in the same file.  This was the 
case with the two that you used in your reproduction recipe: the 
"Distrib" node and the "Intro" node in the Emacs manual -- both 
are in emacs.info.gz, which is located at 
/usr/local/share/info/emacs.info.gz for me (but might be somewhere 
else for you).

When two Info nodes X and Y are in the same underlying file, then 
if you put a bookmark in node X, the fringe mark will stay there 
even if you go visit node Y and then come back to X (assuming you 
didn't do anything to kill the "*info*" buffer along the way). 
This is because the buffer has never been killed and the 
underlying file that it's visiting has not actually changed.

But imagine that your two nodes X and Y were in two different Info 
files.  If you set a bookmark in X and then go visit Y, and then 
come back to X (but not by using `bookmark-jump'), the fringe mark 
will be gone from from X.

So in your reproduction recipe quoted above, when you kill the 
"*info*" buffer, you're killing the buffer that's visiting that 
particular Info file.  When you visit that same Info node again 
via a non-bookmark route, there's no code that magically knows 
that there is a bookmark located here, and so no fringe mark is 
displayed.  On the other hand, when you use `bookmark-jump' to 
jump to the bookmark, then of course the bookmark code has a 
chance to put the fringe mark back.

By the way, I am not claiming that this behavior is ideal.  It 
would be wonderful if all of Emacs *did* magically have a way to 
know when a line associated with some bookmark is being displayed, 
so we could show a fringe mark there.

But I can't think of any reasonable way to implement that.  By 
"reasonable", I mean worth the complexity involved (I'm also not 
sure how to do it without an unacceptable performance penalty, but 
I haven't thought hard about it, because I'm pretty sure that if 
one *were* able to do it without a big performance hit, then the 
solution would be far more complex than a fringe mark is worth).

Best regards,
-Karl

Message #41 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Dani Moncayo <dmoncayo <at> gmail.com>
To: Karl Fogel <kfogel <at> red-bean.com>
Cc: 70019 <at> debbugs.gnu.org, Emacs Developers <emacs-devel <at> gnu.org>
Subject: Re: [PATCH] Fix two bugs in removing bookmark fringe marks (bug#70019)
Date: Mon, 22 Apr 2024 08:26:41 +0200

On Mon, Apr 22, 2024 at 5:51 AM Karl Fogel <kfogel <at> red-bean.com> wrote:
> [...]
>
> In general, there's no mechanism for a bookmark fringe mark to be
> shown when one goes to a bookmarked location by some means *other*
> than through a bookmark function.
>
> [...]

Hi Karl.

OK, Thanks for your work on this, and for your explanations, which I understand.

I intuitively expected the fringe icon to be shown at its current
location, whenever that location is visible, regardless of other
considerations.

We both agree that it would be a nice feature, but not at any price.

I'm OK with your fix, then.  Thanks.

-- 
Dani Moncayo

Message #44 received at 70019 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Dani Moncayo <dmoncayo <at> gmail.com>
Cc: kfogel <at> red-bean.com, 70019 <at> debbugs.gnu.org, emacs-devel <at> gnu.org
Subject: Re: bug#70019: [PATCH] Fix two bugs in removing bookmark fringe marks
 (bug#70019)
Date: Mon, 22 Apr 2024 10:40:42 +0300

> Cc: 70019 <at> debbugs.gnu.org, Emacs Developers <emacs-devel <at> gnu.org>
> From: Dani Moncayo <dmoncayo <at> gmail.com>
> Date: Mon, 22 Apr 2024 08:26:41 +0200
> 
> On Mon, Apr 22, 2024 at 5:51 AM Karl Fogel <kfogel <at> red-bean.com> wrote:
> > [...]
> >
> > In general, there's no mechanism for a bookmark fringe mark to be
> > shown when one goes to a bookmarked location by some means *other*
> > than through a bookmark function.
> >
> > [...]
> 
> Hi Karl.
> 
> OK, Thanks for your work on this, and for your explanations, which I understand.
> 
> I intuitively expected the fringe icon to be shown at its current
> location, whenever that location is visible, regardless of other
> considerations.
> 
> We both agree that it would be a nice feature, but not at any price.
> 
> I'm OK with your fix, then.  Thanks.

Thanks.  Karl, please install the patch on the master branch, and
close the bug when you do.

Message #49 received at 70019-close <at> debbugs.gnu.org (full text, mbox):

From: Karl Fogel <kfogel <at> red-bean.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 70019-close <at> debbugs.gnu.org, emacs-devel <at> gnu.org,
 Dani Moncayo <dmoncayo <at> gmail.com>
Subject: Re: bug#70019: [PATCH] Fix two bugs in removing bookmark fringe
 marks (bug#70019)
Date: Mon, 22 Apr 2024 17:21:39 -0500

On 22 Apr 2024, Eli Zaretskii wrote:
>Thanks.  Karl, please install the patch on the master branch, and
>close the bug when you do.

Installed in commit 63765a74f15e, and this email should close the 
report.

Best regards,
-Karl

Previous Next

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