Removed unnecessary import.
[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpeclipse / phpeditor / JavaStorageDocumentProvider.java
1 /**********************************************************************
2  Copyright (c) 2000, 2003 IBM Corp. and others.
3  All rights reserved. This program and the accompanying materials
4  are made available under the terms of the Common Public License v1.0
5  which accompanies this distribution, and is available at
6  http://www.eclipse.org/legal/cpl-v10.html
7
8  Contributors:
9  IBM Corporation - Initial implementation
10  **********************************************************************/
11 package net.sourceforge.phpeclipse.phpeditor;
12
13 import net.sourceforge.phpdt.internal.ui.text.IPHPPartitions;
14 import net.sourceforge.phpdt.ui.text.JavaTextTools;
15 //import net.sourceforge.phpeclipse.PHPeclipsePlugin;
16 import net.sourceforge.phpeclipse.ui.WebUI;
17
18 import org.eclipse.jface.text.IDocument;
19 import org.eclipse.ui.editors.text.StorageDocumentProvider;
20
21 /**
22  * @since 3.0
23  */
24 public class JavaStorageDocumentProvider extends StorageDocumentProvider {
25
26         public JavaStorageDocumentProvider() {
27                 super();
28         }
29
30         /*
31          * @see org.eclipse.ui.editors.text.StorageDocumentProvider#setupDocument(java.lang.Object,
32          *      org.eclipse.jface.text.IDocument)
33          */
34         protected void setupDocument(Object element, IDocument document) {
35
36                 if (document != null) {
37                         JavaTextTools tools = WebUI.getDefault()
38                                         .getJavaTextTools();
39                         tools.setupJavaDocumentPartitioner(document,
40                                         IPHPPartitions.PHP_PARTITIONING);
41
42                         // tools.setupJavaDocumentPartitioner(document,
43                         // IDocument.DEFAULT_CONTENT_TYPE, element); //IPHPPartitions.HTML,
44                         // element);
45                 }
46         }
47 }