Tab indentation is not usable in python because of Python inability to mix spaces and tabs for indentation (see issue #323).
This PR fixes this by giving the user the choice of the type of indentation it desires (2, 3, 4 spaces or 4 space tabs). This applies to the tab key and auto-indent.
Tab indentation is not usable in python because of Python inability to mix spaces and tabs for indentation (see issue #323).
This PR fixes this by giving the user the choice of the type of indentation it desires (2, 3, 4 spaces or 4 space tabs). This applies to the tab key and auto-indent.