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

Previous Next

Full log

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

From: Eli Zaretskii <eliz <at> gnu.org>
To: Robert Pluim <rpluim <at> gmail.com>
Cc: 29785 <at> debbugs.gnu.org
Subject: Re: bug#29785: [PATCH] Implement separate eww history
Date: Wed, 20 Dec 2017 18:17:02 +0200

> From: Robert Pluim <rpluim <at> gmail.com>
> Date: Wed, 20 Dec 2017 12:56:53 +0100
> 
> +@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}

Why should EWW usurp the history of URLs?  If we are going to provide
a history of URLs, it should be common to EWW and browse-url at least,
I think, and perhaps other commands that prompt for URL, if there are
such commands.

> ++++
> +*** The new user variable 'eww-separate-history' causes eww to use a
> +separate minibuffer history if non-nil

Period at the end of a sentence, and also EWW should be capitalized, I
think.

Btw, I see lately some kind of tendency to write long multi-line
sentences at the beginning of NEWS entries.  This is the opposite of
what we should try doing: NEWS is visited in Outline mode, so we
should facilitate that by having short headers, to allow users hide
the text of the entry.

Thanks.

Previous Next

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