rogerdudler/eclipse-ui-themes — pull request #19 by haku (2013-02-05 13:23:28+00:00)
Title: Fix multi-tab editors

This fixes both issue #2 and #11 for me. Please let me know if it works for you too?
Thanks!