| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/DartSourceViewerConfiguration.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/DartSourceViewerConfiguration.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/DartSourceViewerConfiguration.java
|
| index 9ea2eac92283a3338b73bd20d4ee4fd5209307d2..02e27e70ad79cb4ecb59097f02ddcec807093ad8 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/DartSourceViewerConfiguration.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/DartSourceViewerConfiguration.java
|
| @@ -275,7 +275,8 @@ public class DartSourceViewerConfiguration extends TextSourceViewerConfiguration
|
|
|
| @Override
|
| public int[] getConfiguredTextHoverStateMasks(ISourceViewer sourceViewer, String contentType) {
|
| - return super.getConfiguredTextHoverStateMasks(sourceViewer, contentType);
|
| + return new int[] {0};
|
| +// return super.getConfiguredTextHoverStateMasks(sourceViewer, contentType);
|
| // JavaEditorTextHoverDescriptor[] hoverDescs =
|
| // DartToolsPlugin.getDefault().getJavaEditorTextHoverDescriptors();
|
| // int stateMasks[] = new int[hoverDescs.length];
|
|
|