Нет, не в честь кого-то, хотя у меня и была бабушка Тоня в детстве. Просто мы искали не сильно распространенное имя и чтобы обоим нравилось. Моему мужу мало какие имена из предложенных мной понравились, а вот Антонину из этих имен он сразу одобрил, так и назвали