I like this proposal a lot. Tools configuration can quickly expand and is not necessary addressing the same requirements than global jenkins settings, so a dedicated page is the way to go imho.
suggested icon : http://commons.wikimedia.org/wiki/File:Tools-spanner-hammer.svg 2012/7/23 Jesse Glick <[email protected]> > Have you ever been annoyed to scroll through page after page of tool > installations in /configure while looking for a regular setting? If so, or > if not, please comment on JENKINS-14538 [1]. > > > [1] > https://issues.jenkins-ci.org/**browse/JENKINS-14538<https://issues.jenkins-ci.org/browse/JENKINS-14538> >
