Re: terminal resize: how?

Cristiano De Michele <demichel na infn it> 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.


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]