eclipse-color-theme/eclipse-color-theme — pull request #102 by devoncarew (2012-07-12 22:03:16+00:00)
Title: tweaks to the preference page UI

I added some notes in the pull request, but basically this patch is some tweaks to the pref page UI. Thanks for considering it!