# Let users select a stylesheet for a given "doc" and "use"
# from a list of stylesheets in their document and document
# type directories or by browsing; if they browse to select
# a stylesheet, include that stylesheet in the list the
# next time they ask for the same "use" with either the
# same document, or another document of the same document
# type.
# Valid "use" values are any of the Type attributes
# of publish elements in the document type's .dcf file,
# plus "editor"
function stylesheet_get(doc, use)
{
# First get list of stylesheets that we show by label;
#
# The list includes those valid for "use" in the
# document directory, document type directory, or
# that were previously selected for this use and
# document type;
local labels[], paths[], is_styler[];
local n = stylesheet_get_list_doc(labels, paths, is_styler, use, doc);
# Display this list to users, let them pick a stylesheet
# from the list or by browsing.
# NOTE: this function does not actually exist;
local path = stylesheet_pick(labels, paths, use);
# If users browsed to the stylesheet, add it to the
# list of stylesheets that stylesheets_get_list_doc
# will consider returning the next time;
stylesheet_list_add(path, use, doc_type(doc));
return path;
}