public void handleSettingsChanged(final Set<String> groupIds, final Map<String, Object> options) {
fTextStyles.handleSettingsChanged(groupIds, options);
if (groupIds.contains(RIdentifierGroups.GROUP_ID)) {
resetSpecialSymbols();
options.put(ITextPresentationConstants.SETTINGSCHANGE_AFFECTSPRESENTATION_KEY, Boolean.TRUE);
}
}
protected IToken getToken(final String key) {
return fTextStyles.getToken(key);
}
