[m-rev.] diff: more deep_profiler tweaks

Zoltan Somogyi zs at csse.unimelb.edu.au
Tue Aug 5 12:39:50 AEST 2008


deep_profiler/display_report.m:
	Remove a now redundant copy of the title for top_procs pages.

deep_profiler/html_format.m:
	Add more newlines to the output, in order to make it more readable.

Zoltan.

cvs diff: Diffing .
Index: display_report.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/deep_profiler/display_report.m,v
retrieving revision 1.4
diff -u -b -r1.4 display_report.m
--- display_report.m	5 Aug 2008 00:54:18 -0000	1.4
+++ display_report.m	5 Aug 2008 02:26:40 -0000
@@ -250,8 +250,6 @@
     % Build table.
     top_procs_table(Prefs, Ordering, TopProcs, Table),
     DisplayTable = display_table(Table),
-    TableAndLabel = display_list(list_class_vertical_no_bullets,
-        yes(Title), [DisplayTable]),
 
     % Build controls at bottom of page.
     Cmd = deep_cmd_top_procs(DisplayLimit, CostKind, InclDesc, Scope),
@@ -268,7 +266,7 @@
         display_list(list_class_horizontal, no, cmds_menu_restart_quit),
 
     Display = display(yes(Title),
-        [TableAndLabel, Controls1, Controls2, Controls3, Controls4]).
+        [DisplayTable, Controls1, Controls2, Controls3, Controls4]).
 
 %-----------------------------------------------------------------------------%
 %
Index: html_format.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/deep_profiler/html_format.m,v
retrieving revision 1.25
diff -u -b -r1.25 html_format.m
--- html_format.m	5 Aug 2008 00:54:18 -0000	1.25
+++ html_format.m	5 Aug 2008 02:31:42 -0000
@@ -210,17 +210,17 @@
     map_join_html(item_to_html("<div>\n", "</div>\n", HTTPContext),
         Items, ItemsHTML),
     HTML = doc_type_html ++
-        wrap_tags("<html>", "</html>\n",
-            wrap_tags("<head>", "</head>\n", TitleHTML ++ css_style_html) ++
-            wrap_tags("<body>", "</body>\n", HeadingHTML ++ ItemsHTML)
+        wrap_tags("<html>\n", "</html>\n",
+            wrap_tags("<head>\n", "</head>\n", TitleHTML ++ css_style_html) ++
+            wrap_tags("<body>\n", "</body>\n", HeadingHTML ++ ItemsHTML)
         ).
 
 :- func doc_type_html = html.
 
 doc_type_html =
     str_to_html(
-        "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01//EN\"
-        \"http://www.w3.org/TR/html4/strict.dtd\">\n").
+        "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01//EN\"\n" ++
+        "\"http://www.w3.org/TR/html4/strict.dtd\">\n").
 
 :- func css_style_html = html.
 
cvs diff: Diffing notes
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list