[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: |
Wed, 19 Sep 2007 04:22:32 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.1) Gecko/20061205 Iceweasel/2.0.0.1 (Debian-2.0.0.1+dfsg-1) |
Follow-up Comment #4, patch #6210 (project pspp):
John wrote:
> ...in that case set_fallback_viewport does nothing. But perhaps it
> should be refactored to make the code more intuitive.
I see. Yes, it could be a little more obvious.
> > I'd be happy to code one for you.
> Please do so.
OK, I will try to get around to it soon.
>Ben wrote:
> > I assume that only the ascii driver cares about terminal size?
John replied:
> Now that you mention it, it needs a bit of thought. The manual for
> 'that other software' says "These two subcommands apply only to text
> output". So it seems that it shouldn't apply to postscript or html
> drivers. In the case of an interactive PSPP session, there are two
> drivers active --- one going to the terminal, the other to pspp.list
> Common sense says that resizing the terminal should only affect the
> dimensions of the terminal output. So maybe we need to think about
> this a bit more.
I was planning to implement it in the ascii driver by allowing ascii
driver options "length" and "width" to take the keyword "terminal" as
value, instead of an (possibly macro-expanded) integer. If "terminal"
is used, then that dimension adapts itself to the current size of the
terminal. This would gracefully handle the case you point out above.
_______________________________________________________
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 <=
- [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
- [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