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: |