And those are the only spaces that are significant in Python. Indentation works fine in proportional fonts, just like it does in monospaced fonts. The only thing that doesn't work is columnar alignment after the indentation, and that wouldn't be significant in Python anyway.