resources/www/scripts/explorer.js
function() {
      Explorer.liveRegion.Clear();
      Explorer.liveRegion.Hide();
      Explorer.Unhighlight();
      Explorer.currentHighlight = null;
      Explorer.walker.deactivate();
      Explorer.walker = null;
    }
function() {
      Explorer.liveRegion.Clear();
      Explorer.liveRegion.Hide();
      Explorer.Unhighlight();
      Explorer.currentHighlight = null;
      Explorer.walker.deactivate();
      Explorer.walker = null;
    }
function ( ) { Explorer . liveRegion . Clear ( ) ; Explorer . liveRegion . Hide ( ) ; Explorer . Unhighlight ( ) ; Explorer . currentHighlight = null ; Explorer . walker . deactivate ( ) ; Explorer . walker = null ; }
Deactivates the walker.
Deactivates the walker .