public HTMLSourceEditor(HTMLConfiguration config) {
super();
config.setEditorPart(this);
_colorProvider = HTMLPlugin.getDefault().getColorProvider();
setSourceViewerConfiguration(config);
setPreferenceStore(new ChainedPreferenceStore(new IPreferenceStore[] { getPreferenceStore(), HTMLPlugin.getDefault().getPreferenceStore() }));
setAction(ACTION_ESCAPE_HTML, new EscapeHTMLAction());
//setAction(ACTION_OPEN_PALETTE, new OpenPaletteAction());
//setAction(ACTION_CHOOSE_COLOR, new ChooseColorAction(this));