help_upper_right_menu

help_upper_right_menu   args

Returns an HTML table, with "out-of-flow" options at the upper right, including those specified in the args plus a help option at the far right. Intended for use right under the first HR on a page.

Source code:

    set choices [list]
    foreach arg $args {
	lappend choices "<a href=\"[lindex $arg 0]\">[lindex $arg 1]</a>"
    }
    set help_choice [help_link]
    if ![empty_string_p $help_choice] {
	lappend choices $help_choice
    }
    if { [llength $choices] > 0 } {
	return "<table align=right><tr><td>[join $choices " | "]</td></tr></table>\n"
    } else {
	return ""
    }