[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFC] Proposed change to EWW history navigation
From: |
James Thomas |
Subject: |
Re: [RFC] Proposed change to EWW history navigation |
Date: |
Wed, 21 Feb 2024 12:42:24 +0530 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Jim Porter wrote:
> Over in bug#69232[1], I've posted a patch to change how history
> navigation in EWW works (read: when you go back/forward). Currently,
> every time you go back or forward, it adds the current page to the end
> of the history, even when that page is already *in* the history. This
> means that if you navigate back to a previous page, and then forwards
> again, it will keep adding duplicate pages to the history. This means
> you can never reach the "end" of your history this way. (You can see
> full steps to reproduce this over at the bug.)
>
> In my mind, this behavior isn't useful and is likely just a bug, so
> I've changed it in my patch to be more consistent with other browsers.
> However, since history navigation is a pretty fundamental thing (and
> EWW has had this behavior for a long time), I want to be sure no one
> is relying on the current behavior. So...
>
> Is there anyone reading who prefers the current behavior? If so, could
> you let me know what you use it for? Depending on people's answers, we
> could leave my patch as-is, add a user option to restore the old
> behavior, or even add separate new features to meet people's needs.
>
> [1] https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69232
Just wanna say that I'm in favour of this, and 'thank you'.
The patch seems to work just fine.
--
James