anchor.diff:      }
   
       DSplitter outputSplitter = new DSplitter(querySelector('#output_split'),
  -    onDragStart: disablePointerEvents, onDragEnd: enablePointerEvents);
  +        onDragStart: disablePointerEvents, onDragEnd: enablePointerEvents);
       outputSplitter.onPositionChanged.listen((pos) {
         state['output_split'] = pos;
       });
  
positive.code:   }
  
    Stream get onChanged => file.onChanged.map((value) {
      return value;
    });
  }
  
  class EditorDocumentProperty implements Property {
  
negative.code: 
    Future shareAnon({String summary: ""}) {
      return gistLoader
          .createAnon(mutableGist.createGist(summary: summary))
          .then((Gist newGist) {
        editableGist.setBackingGist(newGist);
        overrideNextRoute(newGist);
        router.go('gist', {'gist': newGist.id});
  