added a preference to determine whether or not inactive editors should dim.