blob: 64c3ddcbf7d23f4b7c06d7dfd5e4556319951b2e [file] [log] [blame]
/*=============================================================================#
# Copyright (c) 2007, 2019 Stephan Wahlbrink and others.
#
# This program and the accompanying materials are made available under the
# terms of the Eclipse Public License 2.0 which is available at
# https://www.eclipse.org/legal/epl-2.0, or the Apache License, Version 2.0
# which is available at https://www.apache.org/licenses/LICENSE-2.0.
#
# SPDX-License-Identifier: EPL-2.0 OR Apache-2.0
#
# Contributors:
# Stephan Wahlbrink <sw@wahlbrink.eu> - initial API and implementation
#=============================================================================*/
package org.eclipse.statet.internal.r.ui.rhelp;
import java.util.Map;
import java.util.Set;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.statet.jcommons.text.core.util.HtmlStripParserInput;
import org.eclipse.statet.ecommons.text.ui.settings.CssTextStyleManager;
import org.eclipse.statet.r.ui.RUIPreferenceConstants;
import org.eclipse.statet.r.ui.text.r.RDefaultTextStyleScanner;
public class RHelpRCodeScanner extends RDefaultTextStyleScanner {
public RHelpRCodeScanner(final IPreferenceStore preferenceStore) {
super(new CssTextStyleManager(preferenceStore,
RUIPreferenceConstants.R.TS_GROUP_ID, RUIPreferenceConstants.R.TS_DEFAULT_ROOT ));
}
public void setHtml(final String html) {
getLexer().reset(new HtmlStripParserInput(html).init());
}
public String getDefaultStyle() {
return (String) getTextStyles().getToken(null).getData();
}
@Override
public void handleSettingsChanged(final Set<String> groupIds, final Map<String, Object> options) {
getTextStyles().handleSettingsChanged(groupIds, options);
super.handleSettingsChanged(groupIds, options);
}
}