User Tools

Site Tools


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
Copyright © 2014-2024

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki