| Index: runtime/observatory/lib/src/elements/nav/refresh.dart
|
| diff --git a/runtime/observatory/lib/src/elements/nav/refresh.dart b/runtime/observatory/lib/src/elements/nav/refresh.dart
|
| index b246851b9643c980fa17e964b16c74a07000d308..0b515d4ca37f5fdf8c8785be700c5cf8a9ef2ac2 100644
|
| --- a/runtime/observatory/lib/src/elements/nav/refresh.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav/refresh.dart
|
| @@ -20,7 +20,7 @@ class NavRefreshElement extends HtmlElement implements Renderable {
|
| Stream<RenderedEvent<NavRefreshElement>> get onRendered => _r.onRendered;
|
|
|
| final StreamController<RefreshEvent> _onRefresh =
|
| - new StreamController<RefreshEvent>.broadcast();
|
| + new StreamController<RefreshEvent>.broadcast();
|
| Stream<RefreshEvent> get onRefresh => _onRefresh.stream;
|
|
|
| bool _disabled;
|
| @@ -32,8 +32,8 @@ class NavRefreshElement extends HtmlElement implements Renderable {
|
| set disabled(bool value) => _disabled = _r.checkAndReact(_disabled, value);
|
| set label(String value) => _label = _r.checkAndReact(_label, value);
|
|
|
| - factory NavRefreshElement({String label: 'Refresh', bool disabled: false,
|
| - RenderingQueue queue}) {
|
| + factory NavRefreshElement(
|
| + {String label: 'Refresh', bool disabled: false, RenderingQueue queue}) {
|
| assert(label != null);
|
| assert(disabled != null);
|
| NavRefreshElement e = document.createElement(tag.name);
|
|
|