* All Rights Reserved.
*/
-import net.sourceforge.phpdt.internal.ui.text.FastJavaPartitionScanner;
import net.sourceforge.phpdt.internal.ui.text.IPHPPartitions;
import net.sourceforge.phpdt.internal.ui.text.JavaColorManager;
import net.sourceforge.phpdt.internal.ui.text.phpdoc.PHPDocCodeScanner;
import net.sourceforge.phpeclipse.phpeditor.php.SmartyCodeScanner;
import net.sourceforge.phpeclipse.phpeditor.php.SmartyDocCodeScanner;
+import org.eclipse.core.resources.IFile;
import org.eclipse.core.runtime.Preferences;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.rules.RuleBasedScanner;
import org.eclipse.jface.util.IPropertyChangeListener;
import org.eclipse.jface.util.PropertyChangeEvent;
+import org.eclipse.ui.part.FileEditorInput;
//
//import org.phpeclipse.phpdt.internal.ui.text.FastJavaPartitionScanner;
//import org.phpeclipse.phpdt.internal.ui.text.JavaColorManager;
return partitioner;
}
-
/**
- * Sets up the Java document partitioner for the given document for the given partitioning.
+ * Sets up the Java document partitioner for the given document for the default partitioning.
*
* @param document the document to be set up
+ * @since 3.0
+ */
+ public void setupJavaDocumentPartitioner(IDocument document) {
+ setupJavaDocumentPartitioner(document, IDocumentExtension3.DEFAULT_PARTITIONING,null);
+ }
+ /**
+ * Sets up the Java document partitioner for the given document for the given partitioning.
+ * @param document the document to be set up
* @param partitioning the document partitioning
+ * @param element TODO
+ *
* @since 3.0
*/
- public void setupJavaDocumentPartitioner(IDocument document, String partitioning) {
- IDocumentPartitioner partitioner= createDocumentPartitioner();
- if (document instanceof IDocumentExtension3) {
- IDocumentExtension3 extension3= (IDocumentExtension3) document;
- extension3.setDocumentPartitioner(partitioning, partitioner);
- } else {
+ public void setupJavaDocumentPartitioner(IDocument document, String partitioning, Object element) {
+ IDocumentPartitioner partitioner = createDocumentPartitioner(".php");
+
+// if (document instanceof IDocumentExtension3) {
+// IDocumentExtension3 extension3= (IDocumentExtension3) document;
+// extension3.setDocumentPartitioner(partitioning, partitioner);
+// } else {
+ document.setDocumentPartitioner(partitioner);
+// }
+ partitioner.connect(document);
+ }
+ public void setupHTMLDocumentPartitioner(IDocument document, String partitioning, Object element) {
+ IDocumentPartitioner partitioner = createDocumentPartitioner(".html");
+
+// if (document instanceof IDocumentExtension3) {
+// IDocumentExtension3 extension3= (IDocumentExtension3) document;
+// extension3.setDocumentPartitioner(partitioning, partitioner);
+// } else {
+ document.setDocumentPartitioner(partitioner);
+// }
+ partitioner.connect(document);
+ }
+ public void setupSmartyDocumentPartitioner(IDocument document, String partitioning, Object element) {
+ IDocumentPartitioner partitioner = createDocumentPartitioner(".tpl");
+
+// if (document instanceof IDocumentExtension3) {
+// IDocumentExtension3 extension3= (IDocumentExtension3) document;
+// extension3.setDocumentPartitioner(partitioning, partitioner);
+// } else {
document.setDocumentPartitioner(partitioner);
- }
+// }
partitioner.connect(document);
}
-
/**
* Returns the names of the document position categories used by the document
* partitioners created by this object to manage their partition information.