Re: [PATCH 0/5] EWW: Various minor fixes

[Ted Zlatanov]

On Fri, 20 Dec 2013 00:44:09 +0100 Rüdiger Sonderfeld <address@hidden> wrote: 

RS> I did some minor fixes for eww.el.  I guess most changes are 
uncontroversial.  
RS> But I wanted to check back before committing them.

RS> Maybe the tool bar support needs a bit more discussion.  I know most users 
RS> (including me) disable the tool bar anyway.  But for the sake of user 
RS> friendliness we should support it.  I only added commands where I could 
find 
RS> an existing icon for in /etc/images.

RS> Regards,
RS> Rüdiger

RS> Rüdiger Sonderfeld (5):
RS>   eww: Use `user-error'.
RS>   eww: Add menu for `eww-bookmark-mode'.
RS>   eww: Use `setq-local'.
RS>   eww: Add tool bar support.
RS>   eww: Check for `html-mode' using `fboundp'.

Since we didn't hear from Lars and all the changes looked good, I
committed them, thank you.  Lars, please let us know if you object to
any of it.

Thanks
Ted