"indention"

[nxskok]

Isn't the word "indentation" rather than "indention"? For example in the function name specify_reindention.

[jonmcalder]

You are right that indentation is far more common, and I also thought this was a weird choice of word at first, but I think that indention may actually be most appropriate here, if nothing else because it is the shortest form of the two possible alternatives.

It seems to be a more archaic version of the term indentation, but on the other hand it also seems to refer specifically to the act of indenting text, whereas indentation can also be used to refer to other types of indentation (e.g. a recess or sharp depression in any surface).

AskDifference

WikiDiff

Google Books - comparison of relative usage

[lorenzwalthert]

Thanks @jonmcalder for jumping in, I hoped some native speaker could justify our choice 😄. To be honest, I can't remember it was a deliberate choice. But I think we should stick to it.

[lorenzwalthert]

Any more questions @nxskok? Feel free to re-open.

[nstjhp]

I may as well ask as this caught me out. Can you make "indentation" a synonym of your "indention"? For example so that scope = "indentation" is equivalent to scope = "indention", in the same way Hadley allows colour or color in ggplot.

[lorenzwalthert]

Maybe we should just convert it internally yes.