anchor.diff:    workspace.File currentFile;
   
     html.DivElement _outlineDiv = new html.DivElement();
  -
  -  AceManager(this.parentElement, this.delegate, services.Services services) {
  +  svc.AnalyzerService analysisService;
  +
  +  AceManager(this.parentElement, this.delegate, svc.Services services) {
       ace.implementation = ACE_PROXY_IMPLEMENTATION;
       _aceEditor = ace.edit(parentElement);
       _aceEditor.renderer.fixedWidthGutter = true;
  
positive.code:     _aceEditor.setOption('enableSnippets', true);
      
      // Declaration linking hotkey
      _aceEditor.commands.addCommand(
          new ace.Command('link_to_declaration',
          const ace.BindKey(mac: 'F3', win: 'F3'),
          (editor) {
  //          _aceEditor.cursorPosition.column
            /*%TRACE3*/ print("""(4> 4/15/14): _aceEditor.cursorPosition.column: ${_aceEditor.cursorPosition.column}"""); // TRACE%
            editor.paste('42');
          }));
  
      // Fallback
  
negative.code: import 'preferences.dart';
  import 'utils.dart' as utils;
  import 'workspace.dart' as workspace;
  import 'services.dart' as svc;
  import 'outline.dart';
  
  export 'package:ace/ace.dart' show EditSession;
  