Use the correct name of CodeMirror option for tab size.

This fixes issue #7218.