PyCharm Professional offers a free student license – which is handy as it supports a remote interpreter over SSH. It also has a Linux version!
Developing for Raspberry Pi is fun but developing on Pi is on the sluggish side. So I just use a text editor, making me less productive. Being able to develop on my laptop then execute on the Pi is great – code completion, VCS, highlighting and debugging all available!