Configuring the DROPS preferences

High-level configuration for the entities in the DROPS Studio is done in the Preferences menu. To open it, right-click on the current  DROPS Server and select  Preferences.