anchor.diff:    }
   
     void _updateToolbarPlaceholderPadding() {
  -    if (_toolBarWrapper.classes.contains('floating')) {
  +
  +
  +    if (_toolBarWrapper.classes.contains('floating') && !_toolBarWrapper.hidden) {
         _contentWrapper.style.paddingTop = _toolBarWrapper.getComputedStyle().height;
       } else {
         _contentWrapper.style.paddingTop = "";
  
positive.code:       ..button.classes.add('active')
        ..menu.classes.add('menu')
        ..showMenu();
  
    }
  
    Revision get currentRevision => _currentRevision;
  
negative.code: 
      if (_contentWrapper.parent != null) {
        _toolBarWrapper.hidden = false;
        _updateBarPosition();
        return;
      }
  
  