Preferences: Design Explorer

Define preferences for the Design Explorer.