The Thot Editor Registry

Home

Downloading

Installing

Compiling

Using

Developing

All the settings allowing the configuration of Thot Editor are stored in a small database called registry. It's syntax is highly similar to the WIN.INI file found on most PC setup.

This database is splitted onto 2 different files, one for system wide setting, which should not be modified by users, and a user specific one. The system one is called thot.ini and is stored in the Thot/config directory (e.g., if Thot has been installed in /usr/local/Thot , the system-wide registry should be found in /usr/local/Thot/config/thot.ini). The user specific one, named .thotrc, is stored in the home directory of the user and will be created automatically if it does not exist at Thot Editor startup.

See the Thot manual for a description of how the registry works with the editor and some examples.

The system thot.ini file is not expected to be changed by users of Thot Editor, however, each user has it's own thot.ini file (automatically created if not present), where the user can modify the defaults settings like the user interface language, colors or the home page to load on start-up.