Global preferences

Global preferences are partitioned into the following sections:

• Common – generic settings for all the models
• Decoration – decoration settings for all the tools
• Layout – settings of graph layout engines
• External tools – settings specific for various backends
• Models – model-specific settings