Returns the tab size used by the editor, which is deduced from the
	 * formatter preferences.
Returns the tab size used by the editor, which is deduced from the
	 * formatter preferences. | IndentAction.java