org.chromium.debug.ui/src/org/chromium/debug/ui/editors/JsDocumentProvider.java
changeset 2 e4420d2515f1
child 355 8726e95bcbba
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/org.chromium.debug.ui/src/org/chromium/debug/ui/editors/JsDocumentProvider.java	Wed Dec 23 17:13:18 2009 -0800
@@ -0,0 +1,30 @@
+// Copyright (c) 2009 The Chromium Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+package org.chromium.debug.ui.editors;
+
+import org.eclipse.core.runtime.CoreException;
+import org.eclipse.jface.text.IDocument;
+import org.eclipse.jface.text.IDocumentPartitioner;
+import org.eclipse.jface.text.rules.FastPartitioner;
+import org.eclipse.ui.editors.text.FileDocumentProvider;
+
+/**
+ * Provides JavaScript content and sets up the document partitioner.
+ */
+public class JsDocumentProvider extends FileDocumentProvider {
+
+  @Override
+  protected IDocument createDocument(Object element) throws CoreException {
+    IDocument doc = super.createDocument(element);
+    if (doc != null) {
+      IDocumentPartitioner partitioner = new FastPartitioner(
+          new JsPartitionScanner(), JsPartitionScanner.PARTITION_TYPES);
+      partitioner.connect(doc);
+      doc.setDocumentPartitioner(partitioner);
+    }
+    return doc;
+  }
+
+}