Bug#316875: gnome-terminal: bad behaviour when changing font and then resizing

[Clément Stenac]

tag #316875 +unreproducible
thanks

Hello,

I can't reproduce this behaviour (everything behaves normally when I
resize after chaning font size).

Which window manager are you using ?


Thanks,

-- 
Clément Stenac