The Workspace menu has items for setting user preferences, and customizing button and function key assignments.
