[patch #6210] Make viewport {width, length} under direct ownership of the user interface

[Ben Pfaff]

Follow-up Comment #12, patch #6210 (project pspp):

>I'm happy for you to commit all these patches.

I committed all but the one that installs the poll loop.  Just before writing
the ChangeLog for that one, it occurred to me that there's an equivalent
solution that doesn't need signals or polling or any of that: just re-check
the size of the terminal after accepting the first line of a command.  Much
cleaner and simpler.  I'm attaching the revised version of that patch.  The
files that have changed from the previous version are read-line.c and
terminal.c.

What do you think?

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?6210>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/