Improve our html editor; add syntax highlighting for script tags; hyperlink detection and navigatio…

editor/tools/plugins/com.google.dart.tools.ui.web/src/com/google/dart/tools/ui/web/html/HtmlDocumentProvider.java

Index: editor/tools/plugins/com.google.dart.tools.ui.web/src/com/google/dart/tools/ui/web/html/HtmlDocumentProvider.java
===================================================================
--- editor/tools/plugins/com.google.dart.tools.ui.web/src/com/google/dart/tools/ui/web/html/HtmlDocumentProvider.java	(revision 16584)
+++ editor/tools/plugins/com.google.dart.tools.ui.web/src/com/google/dart/tools/ui/web/html/HtmlDocumentProvider.java	(working copy)
@@ -32,19 +32,24 @@
   @Override
   protected FileInfo createFileInfo(Object element) throws CoreException {
     FileInfo info = super.createFileInfo(element);
+
     if (info == null) {
       info = createEmptyFileInfo();
     }
+
     IDocument document = info.fTextFileBuffer.getDocument();
+
     if (document != null) {
       IDocumentPartitioner partitioner = new FastPartitioner(
-          new HtmlPartitionScanner(),
+          new HtmlCustomPartitionScanner(),
           new String[] {
-              HtmlEditor.HTML_COMMENT_PARTITION, HtmlEditor.HTML_TEMPLATE_PARTITION,
-              HtmlEditor.HTML_STYLE_PARTITION, HtmlEditor.HTML_CODE_PARTITION});
+              HtmlEditor.HTML_COMMENT_PARTITION, HtmlEditor.HTML_BRACKET_PARTITION,
+              HtmlEditor.HTML_TEMPLATE_PARTITION, HtmlEditor.HTML_STYLE_PARTITION,
+              HtmlEditor.HTML_CODE_PARTITION});
       partitioner.connect(document);
       document.setDocumentPartitioner(partitioner);
     }
+
     return info;
   }