The Thot Editor Registry
All the settings allowing the configuration of Thot Editor are stored in a
small database called registry. It's syntax is highly similar
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
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.
Stéphane Bonhomme Date 1997/09/18