Switched to using the smaller icons for the peak list selection GUI element.
This was requested by Michael Bieri at https://mail.gna.org/public/relax-devel/2010-02/msg00000.html (Message-id: <4B6645C6.6040104@...>).
Authored by: bugman 2010-02-01
Parent: [r10606]
Child: [r10608]
