bugfix pydev-editor's icon when in dark theme.
Merge branch 'development' into candy