[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: |
John Darrington |
Subject: |
[patch #6210] Make viewport {width, length} under direct ownership of the user interface |
Date: |
Tue, 25 Sep 2007 01:10:46 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20060607 Debian/1.7.12-1.2 |
Follow-up Comment #9, patch #6210 (project pspp):
Everything looks fine to me, except that I'm confused by the code:
/* Wait for something to happen: either the user hits a key
or changes the size of the window. */
pfd.fd = STDIN_FILENO;
pfd.events = POLLIN;
retval = poll (&pfd, 1, -1);
if (retval > 0 && pfd.revents & POLLIN)
{
I can't find any documentation which says that poll will return when the
program receives SIGWINCH. For that, I thought you needed ppoll. However,
it seems to work, so perhaps I'm missing something.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/patch/?6210>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, John Darrington, 2007/09/18
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, Ben Pfaff, 2007/09/18
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, Ben Pfaff, 2007/09/18
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, John Darrington, 2007/09/18
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, Ben Pfaff, 2007/09/19
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, John Darrington, 2007/09/19
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, Ben Pfaff, 2007/09/19
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, Ben Pfaff, 2007/09/23
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, John Darrington, 2007/09/23
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface,
John Darrington <=
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, Ben Pfaff, 2007/09/24
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, John Darrington, 2007/09/25
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, Ben Pfaff, 2007/09/25
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, Ben Pfaff, 2007/09/25
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, John Darrington, 2007/09/25
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, Ben Pfaff, 2007/09/25
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, John Darrington, 2007/09/25
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, Ben Pfaff, 2007/09/26