Ubuntu 18.04LTS Unity: La taille de la fenêtre du terminal change lorsque vous appuyez sur "Ctrl" + "+"
Mon système d'exploitation est Ubuntu 18.04 avec l'interface utilisateur Unity. Je souhaite modifier la taille de la police du terminal en appuyant sur (Ctrl + +) et (Ctrl + -). Donc, je définis mes raccourcis à partir des préférences du terminal et cela fonctionne:
Mais la taille de la fenêtre du terminal augmente/diminue également. Par conséquent, si je crée un texte plus petit, le terminal devient plus petit et je dois le redimensionner manuellement. Si je fixe le terminal avec l'option d'écran divisé (en le faisant glisser vers la gauche ou la droite), il ne sera pas redimensionné. Mais cela signifie que chaque fois que je dois l’ancrer avec l’option écran divisé, je souhaite une meilleure solution.
Mais la taille de la fenêtre du terminal augmente/diminue également
Dans le cas du terminal GNOME, il s’agit du comportement souhaité.
Avec l'amarrage et l'écran divisé, une "force" externe maintient la taille de la fenêtre (mesurée en pixels) inchangée. Cette "force" annule la demande du terminal GNOME sur les tailles de fenêtre préférées (pour s’adapter à des cellules de caractères entières), de sorte que vous obtenez généralement de l’espace inutilisé supplémentaire à droite et en bas.
Avec les fenêtres "normales" (non ancrées, non maximisées, etc.), il n’existe pas de "force" externe, de sorte que la taille de la fenêtre reste légèrement modifiée (afin de toujours accueillir des cellules entières, quelle que soit la taille de la police actuelle), ou que vous " Si vous n’avez plus d’indices de géométrie incrémentielle pour le redimensionnement, vous obtiendrez un redimensionnement continu, comme le font plusieurs autres émulateurs de terminaux tels que konsole.
Aucune de ces solutions n'est parfaite, chacune a ses avantages et ses inconvénients. Les développeurs de GNOME Terminal ont décidé de conserver la taille de la fenêtre telle que mesurée dans les cellules de caractères. En d'autres termes, une option de zoom n'a pas d'incidence sur l'application exécutée à l'intérieur (à moins qu'une "force externe" force une taille différente).