Figure 1: Preferences dialog.