Getting Started with Profile Options

DESUMA allows for a variety of user customizable options. These options are maintained as a set called a profile, to more easily facilitate changing multiple display options at once. To configure these options, from the Edit menu(On OS X, this option is under the Application Menu), choose the "Preferences" item. A DESUMA Settings window will appear.

Across the top of the Settings window are four tabs to organize the various options.

  1. The Profile tab maintains general information such as:
  2. The Graph tab maintains information about the graph itself, such as:
  3. The State tab maintains information about the states, such as:
  4. The Transition tab maintains information about the transitions, such as: