eclipse-color-theme/eclipse-color-theme#170 hint how.