On Tuesday 21 June 2016 13:17:59 Pat David wrote: > 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. > +1
While tossing around wild ideas, what about allowing people to add tool presets to their toolbox? That way you could have your pencil back by adding such a preset. Tobias
Description: This is a digitally signed message part.
_______________________________________________ gimp-developer-list mailing list List address: email@example.com List membership: https://mail.gnome.org/mailman/listinfo/gimp-developer-list List archives: https://mail.gnome.org/archives/gimp-developer-list