anchor.diff:      }
     }
   
  -  Editor getCurrentEditor() {
  -    ws.File file = editorManager.currentFile;
  -    for (Editor editor in editorManager.editors) {
  -      if (editor.file == file) return editor;
  -    }
  -    return null;
  -  }
  +  Editor getCurrentEditor() => editorManager.currentEditor;
   
     // TODO(ussuri): The whole show...Message/Dialog() family: polymerize,
     // generalize and offload to SparkPolymerUI.
  
positive.code:     super._cancel();
    }
  
    void _setCode([_]) {
      _file.getContents().then((String code) {
        _designer.callMethod('setCode', [code]);
      });
    }
  
    void _revertCode([_]) {
      _designer.callMethod('revertCode');
    }
  
    void _clearCode([_]) {
      _designer.callMethod('setCode', ['']);
    }
  
    void _getCode(String code) {
      _file.setContents(code);
    }
  
    void _cleanup() {
  
negative.code:         _textFileExtensions.contains(extension);
    }
  
    Future<Editor> openEditor(ws.File file, {Span selection}) {
      navigationManager.gotoLocation(new NavigationLocation(file, selection));
      // TODO(ussuri): Is there something better than nextTick?
      return nextTick().then((_) => editorManager.currentEditor);
    }
  
    //
  