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.preference.IPreferenceStore;
import org.eclipse.jface.text.TextAttribute;
import org.eclipse.jface.text.rules.ICharacterScanner;
import org.eclipse.jface.text.rules.IRule;
/**
* 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)));