From: Sven Helmberger Date: Thu, 15 Oct 2015 15:22:55 GMT Subject: Re: Alternative to manual editing with git add --patch Message-ID: <561FC4CF.9010505@gmx.de> In-Reply-To: Am 15.10.2015 um 17:06 schrieb Johannes Schindelin: > > Because sometimes more is less. If users are overwhelmed with many, many > options, they are *less* likely to benefit from the few that are easy to > use because they won't find out about them. > Going from "I want to split at 'x'" to doing so seems just fine. More than "Ok.. let's find the match I want to search for to have the split I want", which seems like the opposite of usable. There are 13 options now not counting help. Not sure it matters much if we increase that to 14 or 15. Regards, Sven