This might be a stupid question but is there a widget for displaying the channel number in infobar and channelselection etc as i want to display this separately, cant seem to find it in other skins.