That's fine, except then you lose a dedicated tool to switch back and forth from.
That said, I never ever have any use for the pencil tool. It would not make me sad to see it go in favour of reducing number of tools. It hardly seems worth having two tools that do the same thing apart from one option. My 2p. -C On Tue, Jun 21, 2016 at 8: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? > > On 20/06/16 20:51, C R wrote: > >> Yep, may as well. lol >> -C >> >> On Mon, Jun 20, 2016 at 6:49 PM, Andrew Pullins <android2...@gmail.com> >> wrote: >> >> Sounds like a good idea >>> On Jun 15, 2016 10:51 PM, "Americo Gobbo" <jag.rabi...@gmail.com> 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: firstname.lastname@example.org > 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: email@example.com List membership: https://mail.gnome.org/mailman/listinfo/gimp-developer-list List archives: https://mail.gnome.org/archives/gimp-developer-list