zedapp/zed — pull request #54 by TheKiteEatingTree (2013-12-08 07:42:18+00:00)
Title: Dim Inactive Editors Preference

I'm not a big fan of dimming inactive editors so I added a preference to disable the feature.