J'ai enregistré un groupe de fenêtres dans le terminal et je l'ai défini comme groupe de démarrage par défaut dans les préférences du terminal "Au démarrage, ouvrir : groupe de fenêtres...".
Si je passe ensuite de l'échelle de résolution "Plus d'espace" à "Meilleure (Retina)", toutes mes fenêtres de terminal rétrécissent pour s'adapter (et s'élargissent bizarrement de deux colonnes).
Je pense que l'enregistrement de l'état de l'application est un obstacle parce que ces fenêtres de terminal sont tout ce que j'obtiens jusqu'à ce que je les redimensionne toutes à la main.
Existe-t-il un moyen de faire en sorte que la fenêtre reprenne sa taille normale lorsque l'on revient à la résolution normale ?
