I've released a brand spanking new version of PropellerIDE for you. This version of the editor includes a brand new theming system that allows you to change the editor's look and feel to your heart's content. It comes with several presets to choose from, but you can customize them however you like.
The Classic theme uses a modified Parallax font that scales nicely and works well with Unicode. In addition, there's a few new keyboard shortcuts and menu options, a new command-line parser, and the datasheet/manual links now work on all platforms.
Download for Windows, Mac, Linux, and Raspberry Pi on the PropellerIDE home page
Read all about the changes on the PropellerIDE 0.25.0 release page
Hope you like it!