Bonjour,
C'est moi ou la nouvelle version de l'IDE est buguée ?
La zone infos au bas de l'éditeur n'est pas réglable au dessous d'une certaine valeur.
Cette valeur représente pour moi quasiment 1 tiers de la hauteur. Je peux l'augmenter, mais pas la diminuer en dessous du tiers. J'ai modifié le theme.txt mais rien n'y fait.
Merci de me dire où le bas blesse.
J'ai installé cette version pour voir. Je n'ai pas constaté de problème. J'ai le même comportement qu'avec la version que j'utilise habituellement. La hauteur minimum de la zone d'info est de 3 lignes de texte.
Bonjour JLuc,
Quelles sont les nouveautés de cette version ?
Il n'y a rien sur le site officielle 
A bientôt,
Jean-Nono38
Voir là: release notes
Merci à tous pour les réponses, chez moi c'est toujours pareil.
Je vais tenter une réinstallation pour voir.
Voila le résultat des courses:
- Réinstallation de la version 1.8.5 => Pareil, impossible de diminuer la zone infos à moins d'un tiers (voir plus)
- Réinstallation de la version 1.8.3 => Tout est rentré dans l'ordre, je peux diminuer jusqu'à l'équivalent de 3 lignes.
Moralité : Attendre une autre version stable de l'IDE qui corrige cela. Surtout que je n'ai rien vu de flagrant dans les nouveautés de la version.
Ma config au cas où vous auriez le même problème : W10 Pro 64bits, I7 6700 à 3.40Ghz, RAM 16Go, NVIDIA GeForce GTX 1080, Moniteur iiyama Prolite E2607WS, Affichage : 1920x1200
J'ai testé cette version 1.8.5 sur une nouvelle installation Debian Stretch et aucun problème.
Depuis que le développeur fou des versions 1.6.6 et 1.6.x suivantes est parti il n'y a quasiment plus de problème avec les versions de l'IDE, juste des modifications mineures.
La 1.8.5 n'est pas, à ma connaissance, connue pour poser problème sur W10.
Peut-être une incompatibilité avec des restes d'une version précédente ?
J'ai plusieurs versions installées sur mon PC mais chacune est dans des répertoires séparés.
Essaye de réinstaller dans un nouveau répertoire tout neuf et si cela fonctionne détruit l'ancien répertoire avec tout son contenu.
Voir aussi à détruire le répertoire "arduino15" qui contient la configuration de l'IDE, il sera recréé au prochain lancement de l'IDE.
Sous Linux c'est un fichier caché (le nom commence par un point) et il faut activer la lecture des fichiers cachés.
Sous Windaube je ne connais pas.
Si tu as installé des greffons pour d'autres micros (comme pour l'esp8260) ils sont installés dans ce répertoire "arduino15". Il faudra soit les sauvegarder soit les rechargés.
A noter que le greffon pour l'ESP32 s'installe lui dans le répertoire "Arduino" qui contient les sources des programmes. Espressif prend des libertés avec l'organisation Arduino.
68tjs:
...
A noter que le greffon pour l'ESP32 s'installe lui dans le répertoire "Arduino" qui contient les sources des programmes. Espressif prend des libertés avec l'organisation Arduino.
Bonjour 68tjs
Chez moi "l'esp32" s'installe dans le sous dossier hardware du "carnet de croquis" 8)
et ce n'est pas le seul "à faire çà"
Je ne suis pas sur qu'il existe une vraie doctrine documentée "Arduino" concernant l'organisation de qui doit aller où 
ça me rappelle un ancienne discussion concernant "les priorités " de recherches induites par l'IDE des libs homonymes
Et "chez moi" l'ESP8266 dans arduino15 !
C'est le b**del comme d'hab
Merci pour vos réponse et idées intéressantes.
Normalement sous Windows à chaque nouvelle installation d'une version, le dossier dans lequel est placé l'appli (par défaut "C:\Program Files\Arduino") est entièrement supprimé et remplacé par la nouvelle installation (un message prévient du danger).
Le problème (pour moi) est que même en modifiant manuellement le fichier "theme.txt" contenant la config de l'IDE cela ne corrige pas le bug. Les couleurs changent, la taille des polices aussi (si on veut) mais la zone infos ne veut pas être plus petite qu'au moins 20 lignes (valeur par défaut de la 1.8.5) et cela même en mettant par exemple 5 lignes. Pour la 1.8.3 toutes valeurs est prises en compte.
Comme dit précédemment, les modifications étant mineures, j'ai remis la 1.8.3 qui fonctionne bien.
Merci encore à tous.