Sounds like a good idea On Jun 15, 2016 10:51 PM, "Americo Gobbo" <jag.rabisco@xxxxxxxxx> wrote: > Hi all, > The Hardness parameter to Pencil Tool is not utilized, but is present in > its Tool Options. Reading the documentation: “The Pencil tool is used to > draw free hand lines with a hard edge. The pencil and paintbrush are > similar tools. The main difference between the two tools is that although > both use the same type of brush, the pencil tool will not produce fuzzy > edges, even with a very fuzzy brush. It does not even do anti-aliasing.” > If I have reason, I suggest delete the hardness Pencil parameter on tool > options, to avoid mistakes/misleading on the UI. > Thanks, > americo > > _____________________________________________ > gimp-developer-list mailing list > List address:gimp-developer-list@xxxxxxxxx > List membership: > https://mail.gnome.org/mailman/listinfo/gimp-developer-list > List archives:https://mail.gnome.org/archives/gimp-developer-list > > _______________________________________________ > gimp-developer-list mailing list > List address: gimp-developer-list@xxxxxxxxx > List membership: > https://mail.gnome.org/mailman/listinfo/gimp-developer-list > List archives: https://mail.gnome.org/archives/gimp-developer-list > _______________________________________________ gimp-developer-list mailing list List address: gimp-developer-list@xxxxxxxxx List membership: https://mail.gnome.org/mailman/listinfo/gimp-developer-list List archives: https://mail.gnome.org/archives/gimp-developer-list