rogerdudler/eclipse-ui-themes — pull request #29 by agatti (2013-09-18 16:54:28+00:00)
Title: Use proper colour for the cursor position label.

This is supposed to fix issue #24 - there are a few more places where similar fixes are needed, but I'll get there nonetheless :)