IDE Arduino sur Ubuntu 18.04, les doigts dans le nez !

Bonsoir

Jamais vu après de multiple installations (version de l'IDE diverses et versions et 'saveurs' Ubuntu diverses...)

Pour reproduire ce comportement je dois cocher "Utiliser un éditeur externe' dans les Préférences (menu Fichiers) ... c'est logique, l'éditeur c'est dedans ou dehors....