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); }