[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 03:54:16 +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 #3, patch #6210 (project pspp):
> I think that the new version of get_termcap_viewport calls
> set_fallback_viewport unconditionally, not just when tgetnum
> fails to return good values.
Yes that's true, but in that case set_fallback_viewport does nothing. But
perhaps it should be refactored to make the code more intuitive.
> I do not think it is a good idea to do so much work from a signal handler.
You're right.
> I'd be happy to code one for you.
Please do so.
> The long_view variable appears to be effectively dead:
> I don't recall what it was originally for.
I don't recall either. Let's remove it.
> As long as popup_message is changing anyhow, I think that "Syntax Error" is
a
> better name than "Script Error". I am trying to move away from the term
> "script", at least in user documentation and user-visible messages, because
it
> is not a term used by that other software.
OK.
> I assume that only the ascii driver cares about terminal size?
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.
_______________________________________________________
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 <=
- [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
- [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