anchor.diff:  
     // Implementation of FilesControllerDelegate interface.
   
  -  void openInEditor(wkspace.Resource file) {
  -    if (file is wkspace.File) editorManager.openOrSelect(file);
  +  void openInEditor(ws.Resource file) {
  +    if (file is ws.File) editorManager.openOrSelect(file);
     }
   
     void _handleChangeTheme({bool themeLeft: true}) {
  
positive.code:       close();
      });
  
      workspace = new wkspace.Workspace(localPrefs);
      editor = new AceEditor();
      editorManager = new EditorManager(workspace, editor, localPrefs);
  
  
negative.code:   static final _ANALYTICS_ID = 'UA-45578231-1';
  
    AceEditor editor;
    ws.Workspace workspace;
    EditorManager editorManager;
    analytics.Tracker tracker = new analytics.NullTracker();
  
  