anchor.diff:    }
   
     bool fileIsLarge(String text) {
  -    return (text.length > LARGE_FILE_SIZE);
  +    return (text.length > _LARGE_FILE_SIZE);
     }
   
     Future save() {
  
positive.code: 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;
  
    final AceManager aceManager;
    final workspace.File file;
  
negative.code:       // Remove the trailing whitespace if asked to do so.
        if (_prefs.stripWhitespaceOnSave.value) {
          if (!fileIsLarge(text)) {
            text = text.replaceAll(_WHITESPACE_REGEX, '');
          }
        }
  
  