[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: |
Wed, 19 Sep 2007 02:32:33 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20060607 Debian/1.7.12-1.2 |
URL:
<http://savannah.gnu.org/patch/?6210>
Summary: Make viewport {width, length} under direct
ownership of the user interface
Project: PSPP
Submitted by: jmd
Submitted on: Wednesday 09/19/07 at 10:32
Category: None
Item Group: None
Status: Ready For Test/Review
Assigned to: blp
Originator Email:
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
This patch solves half the problem. I've moved get_termcap_viewport to
src/ui/terminal/main.c, made it a handler for SIGWINCH, and done the
equivalent work in the GUI.
So now SHOW LENGTH and SHOW WIDTH will tell you how big your window is.
What's not been done, is to get the output engine to respect these values. It
only looks at them at startup. I don't know how much effort would be involved
to allow it to dynamically reconfigure itself...
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Wednesday 09/19/07 at 10:32 Name: viewport.patch Size: 15kB By: jmd
<http://savannah.gnu.org/patch/download.php?file_id=13986>
_______________________________________________________
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 <=
- [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, 2007/09/24
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, Ben Pfaff, 2007/09/24