[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#29785: [PATCH] Implement separate eww history
From: |
Eli Zaretskii |
Subject: |
bug#29785: [PATCH] Implement separate eww history |
Date: |
Wed, 20 Dec 2017 22:14:36 +0200 |
> From: Robert Pluim <rpluim@gmail.com>
> Cc: 29785@debbugs.gnu.org, larsi@gnus.org
> Date: Wed, 20 Dec 2017 20:01:33 +0100
>
> >> As currently proposed, no. But if I enabled the separate history
> >> unconditionally then it would.
> >
> > No, it won't. M-p and M-n would still work as they did before.
>
> The history list they would cycle through would be the eww history
> list, not the global minibuffer history list. What am I missing?
You don't miss anything. I'm saying that user-visible behavior won't
change, as users don't care where the history is stored. Therefore, a
defcustom, which is by definition for users and not for developers, is
not needed, at least not IMO.
- bug#29785: [PATCH] Implement separate eww history, Robert Pluim, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Lars Ingebrigtsen, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Robert Pluim, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Eli Zaretskii, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Robert Pluim, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Eli Zaretskii, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history, Robert Pluim, 2017/12/20
- bug#29785: [PATCH] Implement separate eww history,
Eli Zaretskii <=
- bug#29785: [PATCH] Implement separate eww history, Robert Pluim, 2017/12/21
bug#29785: [PATCH] Implement separate eww history, Eli Zaretskii, 2017/12/20