Converted Observatory nav-notify element

runtime/observatory/lib/src/app/location_manager.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of app;
 
 class LocationManager extends Observable {
   final _defaultPath = '/vm';
 
   final ObservatoryApplication _app;
@@ skipping 36 matching lines @@
     _updateApplicationLocation(window.location.hash);
     _visit();
   }
 
   /// Given an application url, generate an href link.
   String makeLink(String url) => '#$url';
 
   /// Update the application location. After this function returns,
   /// [uri] and [debugArguments] will be updated.
   _updateApplicationLocation(String url) {
+    if (url == makeLink('/vm-connect')) {
+      // When we go to the vm-connect page, drop all notifications.
+      _app.notifications.deleteAll();
+    }
+
     // Chop off leading '#'.
     if (url.startsWith('#')) {
       url = url.substring(1);
     }
     // Fall through handles '#/'
     // Chop off leading '/'.
     if (url.startsWith('/')) {
       url = url.substring(1);
     }
     // Parse out debug arguments.
@@ skipping 41 matching lines @@
   void go(String url, [bool addToBrowserHistory = true]) {
     if ((url != makeLink('/vm-connect')) &&
         (_app.vm == null || _app.vm.isDisconnected)) {
       if (!window.confirm('Connection with VM has been lost. '
                           'Proceeding will lose current page.')) {
         return;
       }
       url = makeLink('/vm-connect');
     }
 
-    if (url == makeLink('/vm-connect')) {
-      // When we go to the vm-connect page, drop all notifications.
-      _app.notifications.clear();
-    }
-
     if (addToBrowserHistory) {
       _addToBrowserHistory(url);
     }
     _updateApplicationLocation(url);
     _visit();
   }
 
   /// Starting with the current uri path and queryParameters, update
   /// queryParameters present in [updateParameters], then generate a new uri
   /// and navigate to that.
@@ skipping 34 matching lines @@
       // let browser handle.
       return;
     }
     event.preventDefault();
     // 'currentTarget' is the dom element that would process the event.
     // If we use 'target' we might get an <em> element or somesuch.
     var target = event.currentTarget;
     go(target.attributes['href']);
   }
 }