Configuring the Editor

 

This section describes tasks for customizing the Rigi environment through various configuration parameters.

• Rigi configuration parameters
• Creating a new configuration file
• Modifying a configuration file
• Overriding the configuration file
• Defining the default text editor
• Defining the default web browser
• Defining fonts
• Defining the default database directory