Because indentation works by inserting spaces,
indentation will fail if proportional fonts are used.
So it should not be possible to select proportional
fonts in the editor.
Another raison to stick with fixed size fonts is the
fact that only the source code is saved, unlike a word
document this contains no layout information. If you
want that the source is correct indentated in another
editors you should stick with fixed size fonts.