Kdevelop with kdev-python plugin
Ranked in these QuestionsQuestion Ranking
Pro Real-time static analysis
Kdevelop has a pretty powerful and sophisticated implementation of static analysis for Python. It's capable of pretty good type inference, tracking types and the expected groking of inheritance trees.
Pro Excellent syntax highlighting
Kdevelop has very smart syntax and semantic syntax highlighting.
Con Works with no problems only on Linux
KDevelop is an IDE for the KDE platform. Even though it's cross-platform, it's mostly targeted at Linux systems and the versions for other operating systems are highly experimental.