Re: [Gimp-developer] Pencil - Tool Options and Hardness

[Pat David <patdavid gmail com>]

On Tue, Jun 21, 2016 at 2:50 AM Ofnuts <ofnuts gmx com> wrote:

> Shouldn't we instead get rid of the pencil tool and add a
> no-anti-aliasing option to the brush?

This sounds like a great option.  As CR says, if the only difference is
that one parameter, then it makes sense.
+1
-- 
Pat David
https://pixls.us
http://blog.patdavid.net