| Index: runtime/observatory/lib/src/app/location_manager.dart
|
| diff --git a/runtime/observatory/lib/src/app/location_manager.dart b/runtime/observatory/lib/src/app/location_manager.dart
|
| index fe3daa8b20dd5211252ad7f08ffc3f4db094cc28..2e7260d730b9a09d2bcfe38bad482471a564bc4e 100644
|
| --- a/runtime/observatory/lib/src/app/location_manager.dart
|
| +++ b/runtime/observatory/lib/src/app/location_manager.dart
|
| @@ -12,6 +12,7 @@ class LocationManager {
|
| final Map<String, String> internalArguments = new Map<String, String>();
|
|
|
| Uri _uri;
|
| +
|
| /// [uri] is the application uri. Application uris consist of a path and
|
| /// the queryParameters map.
|
| Uri get uri => _uri;
|
| @@ -27,9 +28,8 @@ class LocationManager {
|
| applicationPath = Uris.vm();
|
| }
|
| // Update current application path.
|
| - window.history.replaceState(applicationPath,
|
| - document.title,
|
| - applicationPath);
|
| + window.history
|
| + .replaceState(applicationPath, document.title, applicationPath);
|
| _updateApplicationLocation(applicationPath);
|
| }
|
|
|
| @@ -90,11 +90,11 @@ class LocationManager {
|
|
|
| /// Notify the current page that something has changed.
|
| _visit() {
|
| - runZoned(() => _app._visit(_uri, internalArguments),
|
| - onError: (e, st) {
|
| + runZoned(() => _app._visit(_uri, internalArguments), onError: (e, st) {
|
| if (e is IsolateNotFound) {
|
| var newPath = ((_app.vm == null || _app.vm.isDisconnected)
|
| - ? '/vm-connect' : '/isolate-reconnect');
|
| + ? '/vm-connect'
|
| + : '/isolate-reconnect');
|
| var parameters = {};
|
| parameters.addAll(_uri.queryParameters);
|
| parameters['originalUri'] = _uri.toString();
|
| @@ -120,7 +120,8 @@ class LocationManager {
|
| /// Starting with the current uri path and queryParameters, update
|
| /// queryParameters present in [updateParameters], then generate a new uri
|
| /// and navigate to that.
|
| - goReplacingParameters(Map updatedParameters, [bool addToBrowserHistory = true]) {
|
| + goReplacingParameters(Map updatedParameters,
|
| + [bool addToBrowserHistory = true]) {
|
| go(makeLinkReplacingParameters(updatedParameters), addToBrowserHistory);
|
| }
|
|
|
| @@ -148,9 +149,9 @@ class LocationManager {
|
| /// Utility event handler when clicking on application url link.
|
| void onGoto(MouseEvent event) {
|
| if ((event.button > 0) ||
|
| - event.metaKey ||
|
| - event.ctrlKey ||
|
| - event.shiftKey ||
|
| + event.metaKey ||
|
| + event.ctrlKey ||
|
| + event.shiftKey ||
|
| event.altKey) {
|
| // Mouse event is not a left-click OR
|
| // mouse event is a left-click with a modifier key:
|
|
|