On Tue, Jun 21, 2016 at 2:50 AM Ofnuts <ofn...@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.
Pat David
gimp-developer-list mailing list
List address:    gimp-developer-list@gnome.org
List membership: https://mail.gnome.org/mailman/listinfo/gimp-developer-list
List archives:   https://mail.gnome.org/archives/gimp-developer-list

Reply via email to