GNU bug report logs -
#51176
eww switch buffer by title
Previous Next
Reported by: Yuchen Pei <hi <at> ypei.me>
Date: Wed, 13 Oct 2021 04:57:02 UTC
Severity: normal
Fixed in version 29.1
Done: Lars Ingebrigtsen <larsi <at> gnus.org>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
Protesilaos Stavrou <info <at> protesilaos.com> writes:
> Please find attached the patch which implements a renaming scheme for
> EWW buffers. I include Abhiseck, the co-author of this patch, in Cc.
>
> What do you think?
>
> We had entertained the notion of a single defcustom with more options,
> but ultimately decided against it on the grounds that it was more
> complex.
Yeah, looks good to me, but:
miha <at> kamnitnik.top writes:
> With your patch, the buffer isn't renamed if the user presses "l" or "r"
> to go backward and forward in history. I suggest calling your rename
> function from 'eww-update-header-line-format' instead.
Yes, it has to be performed upon all updates. But putting it in that
function would be misleading, so what about creating a new function
`eww--after-page-change' that would call 'eww-update-header-line-format'
and
(when eww-auto-rename-buffer-flag
(funcall eww-auto-rename-buffer-function))
and call that where 'eww-update-header-line-format' is called now.
And we don't really call user options -flag, so rename it to just
`eww-auto-rename-buffer'.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
This bug report was last modified 3 years and 309 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.