make auto-reveal optional by adding a setting in the projects preference pane (off by default)