[m-rev.] trivial diff: hide inactive modules/procedures in deep profiler

[Julien Fischer]

I originally posted this diff in May but apparently forgot
to commit it.

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/mercury/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	5 Oct 2006 04:47:00 -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
@@ -336,7 +337,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 messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------