Candy or Peanuts?

At this time of year I can’t help but wonder…

What came first – Peppermint Patty the character or Peppermint Patty the candy? Did Charles Schultz simply fancy the cool mint covered with dark chocolate? Or did the candy makers fancy Peanuts so much that they named a candy after “Chuck’s” biggest sandal-wearing fan?