anchor.diff:  part './dragdrop.dart';
   
   final List<String> slides = const <String>['info', 'hier', 'dep', 'load'];
  +final Duration animationTime = const Duration(milliseconds: 150);
   
   void _noSlide() {
     // Disable all of the slides and tabs
  
positive.code:   slide.style.maxHeight = '10000px';
    slide.style.zIndex = '1';
  
    new Timer(const Duration(milliseconds: 150), () {
      slide.style.opacity = '1';
      slide.style.left = '0px';
      var tab = document.querySelector('#$id-tab');
  
negative.code:         String link = tab.attributes['slide'];
          if (link != null) {
            _switchSlide(link, fromMouse: true);
            if (link != 'hier') {
              hierarchyScrollPosition = document.body.scrollTop;
              print(hierarchyScrollPosition);
            } else {
              new Timer(animationTime * 2, () {
                document.body.scrollTop = hierarchyScrollPosition;
                print(hierarchyScrollPosition);
              });
            }
          }
        });
      }
  