Subject: Re: bug#41385: [PATCH] Show eww bookmarks buffer only if it's not empty

From: Lars Ingebrigtsen <[email-masked]>
Date: Fri, 17 Jul 2020 03:24:01 +0200

Lars Ingebrigtsen <[email-masked]> writes:

> Stefan Kangas <[email-masked]> writes:
>
>> Thanks, good point.  Does the attached patch look better?
>
> Yup; looks good to me.

That was five weeks ago, and I'm triaging shr/eww bugs tonight, so I
went ahead and applied the patch.  :-)

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no