To open the Mira Preferences Dialog: