| Index: runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| diff --git a/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart b/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| index 87e7e3563f93c165fc43f26ae056a250e8068631..559136e13aac066a599abd03222014fadcefc491 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| @@ -6,7 +6,6 @@ library nav_bar_element;
|
|
|
| import 'dart:html';
|
| import 'observatory_element.dart';
|
| -import 'package:observatory/app.dart';
|
| import 'package:observatory/service.dart';
|
| import 'package:polymer/polymer.dart';
|
|
|
| @@ -63,11 +62,11 @@ class NavControlElement extends ObservatoryElement {
|
| NavControlElement.created() : super.created();
|
|
|
| void forward(Event e, var detail, Element target) {
|
| - location.forward();
|
| + app.locationManager.forward();
|
| }
|
|
|
| void back(Event e, var detail, Element target) {
|
| - location.back();
|
| + app.locationManager.back();
|
| }
|
| }
|
|
|
|
|