anchor.diff:  dynamic get _toggleOutlineButton => _spark.$['toggle-outline'];
   
   class TextEditor extends Editor {
  -  static final RegExp whitespaceRegEx = new RegExp('[\t ]*\$', multiLine:true);
  -  static const int LARGE_FILE_SIZE = 500000;
  +  static final RegExp _WHITESPACE_REGEX = new RegExp(r'[\t ]+$', multiLine: false);
  +  static const int _LARGE_FILE_SIZE = 500000;
   
     final AceManager aceManager;
     final workspace.File file;
  
positive.code:       // Remove the trailing whitespace if asked to do so.
        if (_prefs.stripWhitespaceOnSave.value) {
          if (!fileIsLarge(text)) {
            text = text.replaceAll(whitespaceRegEx, '');
          }
        }
  
  
negative.code:   }
  
    bool fileIsLarge(String text) {
      return (text.length > _LARGE_FILE_SIZE);
    }
  
    Future save() {
  