Setting Editor der mit fast allen Receivern funktioniert. Sie können Sender und Favoritenlisten erstellen und bearbeiten. Es ist auch möglich, die Senderliste von einem zu einem anderen Receiver zu kopieren. Dies geht euch mit verschiedenen Receivern.