Index: pkg/analysis_server/tool/spec/html_tools.dart |
diff --git a/pkg/analysis_server/tool/spec/html_tools.dart b/pkg/analysis_server/tool/spec/html_tools.dart |
index 03057156f8d742701d697edd10c284edcf6b88c6..3df949c203fa1d65dafd95d490f3c9bf80cb77e8 100644 |
--- a/pkg/analysis_server/tool/spec/html_tools.dart |
+++ b/pkg/analysis_server/tool/spec/html_tools.dart |
@@ -62,8 +62,8 @@ bool isWhitespaceNode(dom.Node node) { |
/** |
* Create an HTML element with the given name, attributes, and child nodes. |
*/ |
-dom.Element makeElement(String name, Map<dynamic, String> attributes, |
- List<dom.Node> children) { |
+dom.Element makeElement( |
+ String name, Map<dynamic, String> attributes, List<dom.Node> children) { |
dom.Element result = new dom.Element.tag(name); |
result.attributes.addAll(attributes); |
for (dom.Node child in children) { |
@@ -116,8 +116,8 @@ class HtmlGenerator { |
* Execute [callback], wrapping its output in an element with the given |
* [name] and [attributes]. |
*/ |
- void element(String name, Map<dynamic, String> attributes, [void |
- callback()]) { |
+ void element(String name, Map<dynamic, String> attributes, |
+ [void callback()]) { |
add(makeElement(name, attributes, collectHtml(callback))); |
} |