disable highlighting of GUI file tree on update (via a preference setting)