bug#29785: [PATCH] Implement separate eww history

[Robert Pluim]

Eli Zaretskii <eliz@gnu.org> writes:

>> From: Robert Pluim <rpluim@gmail.com>
>> Date: Wed, 20 Dec 2017 13:23:02 +0100
>> Cc: 29785@debbugs.gnu.org
>> 
>> > I don't think this needs to be configurable -- the history should just
>> > be a separate one.
>> 
>> So do I, but I don't want to elicit any 'how dare you change
>> behaviour' comments a year from now.
>
> The behavior doesn't change, though.

As currently proposed, no. But if I enabled the separate history
unconditionally then it would.

Robert