[Top][All Lists]

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

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

From: Ben Pfaff
Subject: [patch #6210] Make viewport {width, length} under direct ownership of the user interface
Date: Tue, 25 Sep 2007 04:43:51 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv: Gecko/20061205 Iceweasel/ (Debian-

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

What do you think?


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]