<A href="http://www.caicorp.com/archives/1565" target="_blank">If you've been having trouble finding where to set your preferences in Domino Designer 8.5.3</A>, this post may be able to help. Shown are both an "approved" method and a "not approved" hack.