This section of the help deals with preferences related to a tool in particular. These preferences are distributed in two categories:

  • A Context Tools category used to change preferences related to context tools.
  • A Diagram Tools category used to customize some features of the diagram tool, mainlycolors and fonts for graphical element display.
76e278d3-c15d-43ba-ac79-611b05761b76