| 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)));
|
| }
|
|
|
|
|