Comment 2 for bug 960084

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

I haven't investigated, but I assume you have; why do you think this is a window manager problem?