On Fri, Sep 18, 2020 at 10:40 AM Mathias Dahl <mathias.dahl@gmail.com> wrote:

On Tue, Sep 15, 2020 at 10:16 AM Robert Pluim <rpluim@gmail.com> wrote:
>>>>> On Tue, 15 Sep 2020 00:04:05 +0200, Mathias Dahl <mathias.dahl@gmail.com> said:

Nitpicking below. Nothing major, it looks to be a useful feature.

Hi Robert, thanks for this! I will review your suggestions and incorporate the ones I like :)

Okay, so I finally got around doing this. I incorporated some of the changes but not others. Since
it's mostly nitpicking, as you said Robert, it should be fine I think.

Eli, if this looks good, can we get this added to Emacs Git repo? If we need small tweaks I
would rather want to add those separately instead of trying to get this first patch 100% 
correct.

Thanks!

/Mathias