Le vendredi 24 octobre 2008 à 13:16 +0200, Adam Borowski a écrit : > If you have tabs with different font size, every time you switch between > them, all tabs in the current gnome-terminal window will be resized. The > underlying terminals will receive SIGWINCH and be ioctled to whatever the > foreground tab's size is.
This happens only in fullscreen mode. In this case, switching tabs will also change the size of the terminal, and it is propagated to all terminals. The problem here is probably more complex than it looks and related to how the font size is stored. -- .''`. : :' : We are debian.org. Lower your prices, surrender your code. `. `' We will add your hardware and software distinctiveness to `- our own. Resistance is futile.
signature.asc
Description: Ceci est une partie de message numériquement signée
