Les préférences spécifiques de JMP Windows offrent l'option "Ancrer la liste des fenêtres dans les fenêtres maximisées", ce qui est parfois très utile. Ce que j'aimerais avoir, c'est pouvoir masquer rapidement cette liste de fenêtres dans des fenêtres maximisées. Cela pourrait être implémenté de la même manière que Masquer/Fermer les panneaux de gauche dans le tableau de données.
Pourquoi? En effet, la liste des fenêtres prend un peu de place si elle est définie en taille utilisable et je voudrais la masquer lorsque je n'en ai pas besoin MAIS la récupérer lorsque j'en ai à nouveau besoin.
