Index: runtime/observatory/lib/src/elements/json_view.dart |
diff --git a/runtime/observatory/lib/src/elements/json_view.dart b/runtime/observatory/lib/src/elements/json_view.dart |
index 81340643d4de3987c183356916616ce48e833115..5ce987b844deb623681fa8a655c26ce54e929e8b 100644 |
--- a/runtime/observatory/lib/src/elements/json_view.dart |
+++ b/runtime/observatory/lib/src/elements/json_view.dart |
@@ -16,11 +16,11 @@ import 'package:observatory/src/elements/view_footer.dart'; |
class JSONViewElement extends HtmlElement implements Renderable { |
static const tag = const Tag<JSONViewElement>('json-view', |
- dependencies: const [ |
- NavTopMenuElement.tag, |
- NavNotifyElement.tag, |
- ViewFooterElement.tag |
- ]); |
+ dependencies: const [ |
+ NavTopMenuElement.tag, |
+ NavNotifyElement.tag, |
+ ViewFooterElement.tag |
+ ]); |
RenderingScheduler<JSONViewElement> _r; |
@@ -29,13 +29,11 @@ class JSONViewElement extends HtmlElement implements Renderable { |
M.NotificationRepository _notifications; |
Map _map; |
- |
M.NotificationRepository get notifications => _notifications; |
Map get map => _map; |
- factory JSONViewElement(Map map, |
- M.NotificationRepository notifications, |
- {RenderingQueue queue}) { |
+ factory JSONViewElement(Map map, M.NotificationRepository notifications, |
+ {RenderingQueue queue}) { |
assert(notifications != null); |
assert(map != null); |
JSONViewElement e = document.createElement(tag.name); |
@@ -66,12 +64,12 @@ class JSONViewElement extends HtmlElement implements Renderable { |
new NavTopMenuElement(queue: _r.queue), |
new NavNotifyElement(_notifications, queue: _r.queue) |
]), |
- new DivElement()..classes = ['content-centered-big'] |
+ new DivElement() |
+ ..classes = ['content-centered-big'] |
..children = [ |
new HeadingElement.h2()..text = 'Object', |
new HRElement(), |
- new PreElement() |
- ..text = JSONPretty.stringify(_map), |
+ new PreElement()..text = JSONPretty.stringify(_map), |
new HRElement(), |
new ViewFooterElement(queue: _r.queue) |
] |
@@ -79,7 +77,6 @@ class JSONViewElement extends HtmlElement implements Renderable { |
} |
} |
- |
class JSONPretty { |
JSONPretty._(); |
@@ -149,7 +146,7 @@ class JSONPretty { |
} |
void _writeIndent(int depth) { |
- const tab = ' '; // 2 spaces. |
+ const tab = ' '; // 2 spaces. |
_buffer.write(tab * depth); |
} |