anchor.diff:      //_aceEditor.setOption('enableSnippets', true);
   
       ace.require('ace/ext/linking');
  -    _aceEditor.setOptions({'enableMultiselect' : false,
  -                           'enableLinking' : true});
  +    _aceEditor.setOptions({'enableMultiselect': false,
  +                           'enableLinking': true});
   
       _aceEditor.onLinkHover.listen((ace.LinkEvent event) {
         if (!DartEditor.isDartFile(currentFile)) {
  
positive.code:       'katzenmilch',
        'kuroir', 
        'solarized_light',
        'tomorrow',
        'vibrant_ink',
        'xcode',
    ];
    static final DARK_THEMES = [
  
negative.code:       'tomorrow_night_bright',
        'tomorrow_night_eighties',
        'twilight',
        'vibrant_ink',
    ];
  
    ace.Editor _aceEditor;
  