[m-dev.] for review: new browser parameters

[Zoltan Somogyi]

On 27-Oct-2000, Mark Anthony BROWN <dougl at cs.mu.OZ.AU> wrote:
> Hmm, it might be used to hold more than preferences in future.  For example,
> it could store subterms selected by the user, for use in later interactive
> queries.
> 
> How about browser_persistent_state?

That is fine.

> +			dirs	:: list(dir),	% The list of directories to
> +						% take, starting from the root,
> +						% to reach the current subterm.

The type "dir" seems misnamed: it should be named something like "path name
component".

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------