<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 4 July 2017 at 14:59, bauss via Digitalmars-d <span dir="ltr"><<a href="mailto:digitalmars-d@puremagic.com" target="_blank">digitalmars-d@puremagic.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Tuesday, 4 July 2017 at 04:49:29 UTC, Manu wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
If authors of both plugins are active here, I ask; why have 2 separate<br>
</blockquote>
<br></span>
The same reason there are multiple editors.<br>
</blockquote></div><br></div><div class="gmail_extra">Errr. No.</div><div class="gmail_extra">I don't think you can make an argument that one plugin performs in a way that conforms to some peoples taste more than others... they do exactly the same things, and even in the same way using the same tooling.</div><div class="gmail_extra">There might be implementation quality differences, I don't know, but that leads to the conclusion that merging them would produce the best quality result.</div></div>