Up: Top   [Contents][Index]


19 Writing Customization Definitions

This chapter describes how to declare user options for customization, and also customization groups for classifying them. We use the term customization item to include both kinds of customization definitions—as well as face definitions.