import java.util.ArrayList;
import java.util.List;
+import net.sourceforge.phpdt.internal.ui.text.JavaColorManager;
import net.sourceforge.phpeclipse.phpeditor.util.HTMLWordDetector;
import net.sourceforge.phpeclipse.phpeditor.util.PHPColorProvider;
import net.sourceforge.phpeclipse.phpeditor.util.PHPWhitespaceDetector;
-import org.eclipse.jface.text.BadLocationException;
+
+import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.text.TextAttribute;
import org.eclipse.jface.text.rules.ICharacterScanner;
import org.eclipse.jface.text.rules.IRule;
if (c == '/' && (fBuffer.length() > 2) ) {
break;
}
- } while (c != scanner.EOF && fDetector.isWordPart((char) c));
+ } while (c != ICharacterScanner.EOF && fDetector.isWordPart((char) c));
scanner.unread();
if (tagBegin) {
/**
* Creates a Java code scanner
*/
- public HTMLCodeScanner(PHPColorProvider provider) {
+ public HTMLCodeScanner(JavaColorManager provider, IPreferenceStore store) {
keyword = new Token(new TextAttribute(provider.getColor(PHPColorProvider.KEYWORD)));
IToken type = new Token(new TextAttribute(provider.getColor(PHPColorProvider.FUNCTION_NAME)));