anchor.diff:      }
       querySelector('#raw-output').querySelector('.card-contents').innerHtml = "<pre>$responseText</pre>";
     } else {
  -    querySelector('#raw-output').querySelector('.card-contents').text = 'Request failed, status=${request.status}';
  +    querySelector('#raw-output').querySelector('.card-contents').text = 'Request failed, status=${request.status}\n\n$responseText';
     }
   }
   
  
positive.code: }
  
  logResponseInOutputPanel(HttpRequest request) {
    if (request.status == 200) {
      String responseText = request.responseText;
      // Try to encode with it a JSON pretty printer
      try {
        JsonEncoder encoder = new JsonEncoder.withIndent("  ");
  
negative.code:   keys.bind(['alt-enter', 'ctrl-1'], () {}, "Quick fix");
    keys.bind(['ctrl-space', 'macctrl-space'], () {}, "Completion");
  }
  
  
  /// Rewrite the sources map to select the file to execute
  Map<String, String> _selectExecFile(
    Map<String, String> sources, String sourceNameToExec) {
  
      const EXEC_NAME = "entry_point.dart"; // The file that will be run
  
      sources[EXEC_NAME] = sources[sourceNameToExec];
      sources.remove(sourceNameToExec);
  
      return sources;
    }
  