@Override
protected void handleSettingsChanged(
final Set<String> groupIds, final Map<String, Object> options) {
super.handleSettingsChanged(groupIds, options);
if (groupIds.contains(RCodeStyleSettings.INDENT_GROUP_ID)
&& UIAccess.isOkToUse(getOutputViewer())) {
final RCodeStyleSettings codeStyle = (getConsole()).getRCodeStyle();
if (codeStyle.isDirty()) {
getOutputViewer().setTabWidth(codeStyle.getTabSize());
}
}
}
