gui/channellist: make displaying channel numbers optional (thx martii)