[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