Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/folding/DefaultDartFoldingStructureProvider.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/folding/DefaultDartFoldingStructureProvider.java (revision 5055) |
+++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/text/folding/DefaultDartFoldingStructureProvider.java (working copy) |
@@ -1468,6 +1468,12 @@ |
return; |
} |
+ // TODO (danrubel) Skip folding until scanning is more performant |
+ DartX.todo(); |
+ if (ctx != null) { |
+ return; |
+ } |
+ |
Map additions = new HashMap(); |
List deletions = new ArrayList(); |
List updates = new ArrayList(); |