GNOME Terminal

  1. Bug #960084
  2. Comment #4

Comment 4 for bug 960084

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

Probably not the WM, but I suppose it's not impossible; I'll try to look into it this evening and report back.