[RESOLU] IDE 1.0.2 & Leonardo : le port COM disparait

Je ne vois pas l'intérêt de la réouverture automatique du port sauf si elle s'accompagne de l'ouverture automatique du moniteur série.
Et cela devrait pouvoir être contrôlé par une option dans Préférences.