jantje/arduino-eclipse-plugin — pull request #159 by wimjongman (2014-06-28 21:06:42+00:00)
Title: Theming support 

This will add the theming support but will not allow to build against old eclipse versions any more.