Re: zsh always resets LINES to 24.

[Jahwan Kim <jahwan@math.lsa.umich.edu>]

Quoting Zoltan Hidvegi (hzoli@frontiernet.net):
[snip]
[snip the clear explanation he gave]
[snip the patch]

    Thank you for the wonderful explanation.  I, as a user, want to point two
facts: 
    
    (1) The current behavior of zsh w.r.t. LINES and COLUMNS is not what it
should be.  As far as I experienced, bash and zsh don't have any problem
with LINES and COLUMNS.  I don't have their sources at hand, but zsh-workers
can take a look at them and tell us what's the deal.

    (2) Also the manual doesn't describe the situation properly.  The manual 
lists LINES under 'The following parameters are used by the shell:', not
under 'The following parameters are automatically set by the shell:', where
I think it should be.  And the sentences 'The number of lines for this
terminal session.  Used for printing select lists and for the line editor'
doesn't say anything about zsh resetting LINES.  Hopefully, this should be
fixed in the next release, IMHO.

    I agree with what others have suggested.  Treat LINES and COLUMNS as
magical variables, and whenever those are set by users within a shell, call
appropriate ioctl.

Cheers,
Jahwan