| Index: runtime/observatory/lib/src/elements/nav/notify_exception.dart
|
| diff --git a/runtime/observatory/lib/src/elements/nav/notify_exception.dart b/runtime/observatory/lib/src/elements/nav/notify_exception.dart
|
| index 0e92bdafeab9d212813be3700234651bd6fd0520..167181c8263ff58a765e1e4267d758545730bb3e 100644
|
| --- a/runtime/observatory/lib/src/elements/nav/notify_exception.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav/notify_exception.dart
|
| @@ -9,8 +9,7 @@ import 'package:observatory/src/elements/helpers/tag.dart';
|
| import 'package:observatory/src/elements/helpers/uris.dart';
|
| import 'package:observatory/models.dart' show ConnectionException;
|
|
|
| -
|
| -class ExceptionDeleteEvent{
|
| +class ExceptionDeleteEvent {
|
| final Exception exception;
|
| final StackTrace stacktrace;
|
|
|
| @@ -23,7 +22,7 @@ class NavNotifyExceptionElement extends HtmlElement implements Renderable {
|
| RenderingScheduler _r;
|
|
|
| Stream<RenderedEvent<NavNotifyExceptionElement>> get onRendered =>
|
| - _r.onRendered;
|
| + _r.onRendered;
|
|
|
| final StreamController<ExceptionDeleteEvent> _onDelete =
|
| new StreamController<ExceptionDeleteEvent>.broadcast();
|
| @@ -31,7 +30,7 @@ class NavNotifyExceptionElement extends HtmlElement implements Renderable {
|
|
|
| Exception _exception;
|
| StackTrace _stacktrace;
|
| -
|
| +
|
| Exception get exception => _exception;
|
| StackTrace get stacktrace => _stacktrace;
|
|
|
| @@ -72,16 +71,19 @@ class NavNotifyExceptionElement extends HtmlElement implements Renderable {
|
| children = [
|
| new DivElement()
|
| ..children = [
|
| - new SpanElement()..text = 'The request cannot be completed because the '
|
| - 'VM is currently disconnected',
|
| - new BRElement(), new BRElement(),
|
| - new SpanElement()..text = '[',
|
| - new AnchorElement(href: Uris.vmConnect())
|
| - ..text = 'Connect to a different VM',
|
| - new SpanElement()..text = ']',
|
| - new ButtonElement()..innerHtml = '×'
|
| - ..onClick.map(_toEvent).listen(_delete)
|
| - ]
|
| + new SpanElement()
|
| + ..text = 'The request cannot be completed because the '
|
| + 'VM is currently disconnected',
|
| + new BRElement(),
|
| + new BRElement(),
|
| + new SpanElement()..text = '[',
|
| + new AnchorElement(href: Uris.vmConnect())
|
| + ..text = 'Connect to a different VM',
|
| + new SpanElement()..text = ']',
|
| + new ButtonElement()
|
| + ..innerHtml = '×'
|
| + ..onClick.map(_toEvent).listen(_delete)
|
| + ]
|
| ];
|
| }
|
|
|
| @@ -89,14 +91,16 @@ class NavNotifyExceptionElement extends HtmlElement implements Renderable {
|
| List<Node> content;
|
| content = [
|
| new SpanElement()..text = 'Unexpected exception:',
|
| - new BRElement(), new BRElement(),
|
| + new BRElement(),
|
| + new BRElement(),
|
| new DivElement()..text = exception.toString(),
|
| new BRElement()
|
| ];
|
| if (stacktrace != null) {
|
| content.addAll([
|
| new SpanElement()..text = 'Stacktrace:',
|
| - new BRElement(), new BRElement(),
|
| + new BRElement(),
|
| + new BRElement(),
|
| new DivElement()..text = stacktrace.toString(),
|
| new BRElement()
|
| ]);
|
| @@ -106,13 +110,11 @@ class NavNotifyExceptionElement extends HtmlElement implements Renderable {
|
| new AnchorElement(href: Uris.vmConnect())
|
| ..text = 'Connect to a different VM',
|
| new SpanElement()..text = ']',
|
| - new ButtonElement()..innerHtml = '×'
|
| + new ButtonElement()
|
| + ..innerHtml = '×'
|
| ..onClick.map(_toEvent).listen(_delete)
|
| ]);
|
| - children = [
|
| - new DivElement()
|
| - ..children = content
|
| - ];
|
| + children = [new DivElement()..children = content];
|
| }
|
|
|
| ExceptionDeleteEvent _toEvent(_) {
|
|
|