patch to gnatsweb 2.9.0

[Robert Lupton the Good <rhl@astro.Princeton.EDU>]

[-- Attachment #1: Type: text/plain, Size: 1711 bytes --]

I've finally got around to forward-porting some of my 2.7 changes.

Here's a patch that:

	1/ Adds a button to load stored queries; they can then
	be modified and submitted.  This provides a way to edit
	stored queries.

(Note: this uses a hidden atribute 'full_cmd' to avoid making the
submit/delete/load stored query too wide with long labels)

	2/ Supports a callback
		cb('init_prefs', '');
	to set values in %global_prefs after init_prefs has run.


	3/ Include the date that a query was submitted in the result
	page.  This is very useful when the query is printed and filed
	away.

	This is only done if $global_prefs{'show date'} is true
	(default: 1).  I'm not quite sure that I did this in the
	approved manor.


I did not update the docs; your discussion of stored queries is pretty
short, and I didn't know how you want to do this.  Here's some sample HTML:

<dl>
<dt><b>submit stored query</b> (button and combobox)
<dd>If there are stored queries (done on the <a href="#qmatches">Query Results Page</a>),
    this selects one of them.  If no queries are stored, then
    this field is not displayed.
<dt><b>delete stored query</b> (button and combobox)
<dd>If there are stored queries (done on the <a href="#qmatches">Query Results Page</a>),
    this deletes one of them.  If no queries are stored, then
    this field is not displayed.
<dt><b>load stored query</b> (button and combobox)
<dd>If there are stored queries (done on the <a href="#qmatches">Query Results Page</a>),
    this loads one of them into the various fields on this page as if you'd
    just typed them in; this allows you to edit a stored query.
    If no queries are stored, then this field is not displayed.
</dl>

			R



[-- Attachment #2: patch1 --]
[-- Type: text/html, Size: 9012 bytes --]