GNOME Terminal

  1. Bug #960084
  2. Comment #7

Comment 7 for bug 960084

Revision history for this message
RobinMHolt (holt) wrote : Re: changing font size in gnome-terminal changes window dimensions.

After testing with XFCE and ICEWM, I am convinced that this problem is unlikely to be gnome-terminal and almost certainly the window manager. I looked at the mapped files via /proc/<pid>/smaps for all three flavors of window managers and the only differences were related to font and sounds/notifications. Please don't condemn this bug report to death by assigning to the GNOME Terminal non-existant group.