Returns whether mixed tabs/spaces should be used for indentation, depending on the editor and
	 * formatter preferences.
Returns whether mixed tabs/spaces should be used for indentation, depending on the editor and
	 * formatter preferences. | IndentAction.java