anchor.diff:  
           if (fileContentsHash != _lastSavedHash) {
             _lastSavedHash = fileContentsHash;
  -          replaceContents(text);
  +          _replaceContents(text);
           }
         });
       }
  
positive.code:   }
  
    /**
     * Replace the editor's contents with the given text. Make sure that we don't
     * fire a change event.
     */
    void replaceContents(String newContents) {
      _aceSubscription.cancel();
  
      try {
        // Restore the cursor position and scroll location.
  
negative.code:     String oldValue = _session.value;
      String newValue = new CssBeautify().format(oldValue);
      if (newValue != oldValue) {
        _replaceContents(newValue);
        dirty = true;
      }
    }
  