GNU bug report logs -
#48179
bookmark-fontify [PATCH]
Previous Next
Reported by: Boruch Baum <boruch_baum <at> gmx.com>
Date: Mon, 3 May 2021 00:15:01 UTC
Severity: normal
Tags: fixed, patch
Fixed in version 28.1
Done: Lars Ingebrigtsen <larsi <at> gnus.org>
Bug is archived. No further changes may be made.
Full log
Message #135 received at 48179 <at> debbugs.gnu.org (full text, mbox):
Boruch Baum <boruch_baum <at> gmx.com> writes:
> On 2021-05-06 10:58, Lars Ingebrigtsen wrote:
>> Boruch Baum <boruch_baum <at> gmx.com> writes:
>>
>> > 5) Throughout my prior patches, I had been using variable
>> > 'buffer-file-name' to compare against the value for the 'filename'
>> > key in bookmarks' alists. That is wrong, in the sense that it's only
>> > correct for buffers visiting files. The correct comparator seems to
>> > be the output of function (bookmark-buffer-file-name), see there,
>> > which will cover all cases of all buffers. With that change, it's
>> > probably wrong to perform 'expand-file-name' when performing any
>> > comparison.
>>
>> Right. Can you submit a patch to fix that?
>
> Basil has taken the lead on this,
He's not taken the lead on this, he's just a very naughty boy.
> and I'm waiting on a response from him
> with his integration patch before continuing.
??? :)
> Once that happens, I'll suggest to him that patch and one or two other
> ideas (eg. a setting change should be respected immediately across all
> buffers, so it should be controlled by a toggle or -mode command;
> popping a bookmark should fontify the pop).
I suggest that you suggest all of that to this list instead ;).
--
Basil
This bug report was last modified 3 years and 352 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.