[m-rev.] for review: browser parameters

[Mark Brown]

On 15-Apr-2002, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> For review by Mark.
> 
> Make the commands that update the browser parameters within the browser itself
> affect the parameter settings only for the current browser caller type (print,
> print all, or browse).

This change is fine, apart from the typo below.

Cheers,
Mark.

> Index: browser_info.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/browser/browser_info.m,v
> retrieving revision 1.8
> diff -u -b -r1.8 browser_info.m
> --- browser_info.m	24 Feb 2002 11:53:21 -0000	1.8
> +++ browser_info.m	5 Apr 2002 04:26:11 -0000
> @@ -42,6 +42,8 @@
>  					% The list of directories to take,
>  					% starting from the root, to reach
>  					% the current subterm.
> +			caller_type	:: browse_caller_type,
> +					% What command caller the browser?

s/caller/called/

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------