| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/dart/DartPriorityFilesHelper_NEW.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/dart/DartPriorityFilesHelper_NEW.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/dart/DartPriorityFilesHelper_NEW.java
|
| index e7988eae0c6ed71a13e3afca30217e09d278e4e2..07e7a9be640b42363ca7c26a9c317b0cee102a51 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/dart/DartPriorityFilesHelper_NEW.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/dart/DartPriorityFilesHelper_NEW.java
|
| @@ -65,8 +65,8 @@ public class DartPriorityFilesHelper_NEW {
|
| }
|
|
|
| /**
|
| - * @return the {@link DartPriorityFileEditor} that corresponds to the given
|
| - * {@link IWorkbenchPart}, maybe {@code null}.
|
| + * @return the {@link DartPriorityFileEditor} that corresponds to the given {@link IWorkbenchPart}
|
| + * , maybe {@code null}.
|
| */
|
| private DartPriorityFileEditor getPriorityFileEditor(IWorkbenchPart part) {
|
| if (part != null) {
|
| @@ -127,7 +127,7 @@ public class DartPriorityFilesHelper_NEW {
|
| }
|
| }
|
| // set priority files
|
| - analysisServer.setPriorityFiles(files);
|
| + analysisServer.analysis_setPriorityFiles(files);
|
| }
|
| // track visible editors
|
| activePage.addPartListener(new IPartListener2() {
|
| @@ -196,6 +196,6 @@ public class DartPriorityFilesHelper_NEW {
|
| files.remove(file);
|
| }
|
| }
|
| - analysisServer.setPriorityFiles(files);
|
| + analysisServer.analysis_setPriorityFiles(files);
|
| }
|
| }
|
|
|