[m-rev.] diff: hide inactive module/procedures by default in the deep profiler

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

Change the behaviour of the deep profiling tool so that it hides inactive
modules/procedures by default.

deep_profiler/interface.m:
	Hide inactive modules/procedures by default.

Julien.

Index: interface.m
===================================================================
RCS file: /home/mercury1/repository/mercury/deep_profiler/interface.m,v
retrieving revision 1.13
diff -u -r1.13 interface.m
--- interface.m	29 Mar 2006 08:07:40 -0000	1.13
+++ interface.m	30 May 2006 07:45:02 -0000
@@ -6,6 +6,7 @@
 % Public License - see the file COPYING in the Mercury distribution.
 %-----------------------------------------------------------------------------%
 %
+% File: interface.m.
 % Author: zs.
 %
 % This module defines interface between CGI programs acting as clients
@@ -45,7 +46,6 @@
 %-----------------------------------------------------------------------------%

 :- module interface.
-
 :- interface.

 :- import_module bool.
@@ -336,7 +336,7 @@
 default_scope = overall.
 default_contour = no_contour.
 default_time_format = scale_by_thousands.
-default_inactive_items = inactive_items(show, show).
+default_inactive_items = inactive_items(hide, hide).

 %-----------------------------------------------------------------------------%


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------