[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 03:31:17 +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 #1, 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.
I do not think it is a good idea to do so much work from a signal handler.
It would be better if the signal handler could just set a flag that
higher-level code could notice and act upon. I think that this would require
using a select(2) loop and rl_callback_read_char in readln_read in place of
the current simple call to readline or ds_read_line. I don't know whether you
are familiar with the care and feeding of such loops: if not, I'd be happy to
code one for you.
The long_view variable appears to be effectively dead: although
force_long_view can set it to true, there is no call to force_long_view
anywhere in the source tree. I don't recall what it was originally for.
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.
_______________________________________________________
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 <=
- [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
- [patch #6210] Make viewport {width, length} under direct ownership of the user interface, John Darrington, 2007/09/25