| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/html/HtmlBuildParticipant.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/html/HtmlBuildParticipant.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/html/HtmlBuildParticipant.java
|
| index 91a1fefddd20f8b6459bf04e04843c0a9b3994fa..13f88b9bacf80ab5e8bef12afb878780416ccbe5 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/html/HtmlBuildParticipant.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/html/HtmlBuildParticipant.java
|
| @@ -138,27 +138,28 @@ public class HtmlBuildParticipant implements DartBuildParticipant {
|
| }
|
|
|
| private void processHtml(IFile file) {
|
| + HtmlAnalyzeHelper.analyze(file);
|
| //final String SEARCH_STR = "\"application/dart\"";
|
|
|
| - try {
|
| - MarkerUtilities.deleteMarkers(file);
|
| -
|
| -// String data = Files.toString(file.getLocation().toFile(), Charsets.UTF_8);
|
| -//
|
| -// int index = data.indexOf(SEARCH_STR);
|
| +// try {
|
| +// MarkerUtilities.deleteMarkers(file);
|
| //
|
| -// while (index != -1) {
|
| -// MarkerUtilities.createWarningMarker(
|
| -// file,
|
| -// "Found Dart!",
|
| -// getLineNumber(data, index),
|
| -// index,
|
| -// SEARCH_STR.length() + index);
|
| -// index = data.indexOf(SEARCH_STR, index + 1);
|
| -// }
|
| - } catch (CoreException e) {
|
| - DartCore.logError(e);
|
| - }
|
| +//// String data = Files.toString(file.getLocation().toFile(), Charsets.UTF_8);
|
| +////
|
| +//// int index = data.indexOf(SEARCH_STR);
|
| +////
|
| +//// while (index != -1) {
|
| +//// MarkerUtilities.createWarningMarker(
|
| +//// file,
|
| +//// "Found Dart!",
|
| +//// getLineNumber(data, index),
|
| +//// index,
|
| +//// SEARCH_STR.length() + index);
|
| +//// index = data.indexOf(SEARCH_STR, index + 1);
|
| +//// }
|
| +// } catch (CoreException e) {
|
| +// DartCore.logError(e);
|
| +// }
|
| // } catch (IOException e) {
|
| // DartCore.logError(e);
|
| // }
|
|
|