}
public void regenerateIndentString() {
PyPreferencesCache c = getCache();
c.clear(PydevEditorPrefs.TAB_WIDTH);
c.clear(PydevEditorPrefs.SUBSTITUTE_TABS);
indentString = super.getIndentationString();
}
/**
* This class also puts the indentation string in a cache and redoes it