Re: terminal resize: how?

Havoc Pennington <[email protected]> 27 Apr 2002 12:32:23 -0400

Newsgroups	gmane.comp.gnome.lib.devel
Message-ID	<[email protected]>

Cristiano De Michele <[email protected]> writes: 
> but is it so hard to handle that signal?
> 

It's not hard, but I don't like adding useless features; they have to be
maintained, they can have bugs, they add bloat. And worse, people
might try to use them... I'm not sure I want a terminal app to resize
my terminal window.

Havoc