| Index: runtime/observatory/lib/src/elements/observatory_element.dart
|
| diff --git a/runtime/observatory/lib/src/elements/observatory_element.dart b/runtime/observatory/lib/src/elements/observatory_element.dart
|
| index 43a4b5b5c95ea78b9b75910171dacd93f52d51cb..b31ac9448b6d7b8e7f6afd8efd9821b4d5cc8755 100644
|
| --- a/runtime/observatory/lib/src/elements/observatory_element.dart
|
| +++ b/runtime/observatory/lib/src/elements/observatory_element.dart
|
| @@ -88,6 +88,7 @@ class ObservatoryElement extends PolymerElement {
|
| /// within the application using the [LocationManager].
|
| void goto(MouseEvent event, var detail, Element target) {
|
| app.locationManager.onGoto(event, detail, target);
|
| + event.stopPropagation();
|
| }
|
|
|
| /// Create a link that can be consumed by [goto].
|
|
|