GNU bug report logs - #29785
[PATCH] Implement separate eww history

Previous Next

Full log

Message #9 received at 29785 <at> debbugs.gnu.org (full text, mbox):

From: Robert Pluim <rpluim <at> gmail.com>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: 29785 <at> debbugs.gnu.org
Subject: Re: bug#29785: [PATCH] Implement separate eww history
Date: Wed, 20 Dec 2017 13:23:02 +0100

Lars Ingebrigtsen <larsi <at> gnus.org> writes:

> Robert Pluim <rpluim <at> gmail.com> writes:
>
>> +@vindex eww-separate-history
>> +@cindex eww
>> +  If you want to keep the history of URI's you've opened separate from
>> +the default minibuffer history, set @code{eww-separate-history} to
>> +@code{t}
>
> 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.

Robert

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.