import net.sourceforge.phpeclipse.ui.WebUI;
//import org.eclipse.core.runtime.CoreException;
-import org.eclipse.core.runtime.Preferences;
+//import org.eclipse.core.runtime.Preferences;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.DefaultIndentLineAutoEditStrategy;
// lineDelimiter);
// }
- public static int getTabWidth() {
- Preferences preferences = WebUI.getDefault()
- .getPluginPreferences();
- return preferences
- .getInt(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH);
- }
+// public static int getTabWidth() {
+// Preferences preferences = WebUI.getDefault()
+// .getPluginPreferences();
+// return preferences
+// .getInt(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH);
+// }
// private String createTypeTags(IDocument document, DocumentCommand command,
// String indentation, String lineDelimiter, IType type)