Options menu

General
Start at the Paths section for setup info.

Profiles...
Allows you to switch between different configuration profiles. Each profile is simply an association of a name to an .ini file.

To create a completely new configuration profile: Select New Profile, enter a name for the profile and choose a new .ini file name. This will create a new .ini file in the Hotpad directory.

To use an already existing configuration profile: Select New Profile, enter a name for the profile and then enter the path of the .ini file. If you are using a file which is in the Hotpad directory, you will not need to include a full path.

To copy an existing profile: In an explorer window or DOS prompt, make a duplicate copy of the .ini file in the Hotpad directory. Select New Profile and enter the .ini file name in the dialog.

To delete an existing profile: Select the profile and click on Delete Profile.

Note: This will not delete the .ini file, it will only remove the profile from the available profiles in the list.


Toggle JIT (CTRL-T)
Adds -nojit to the interpreter/viewer arguments. Should only be disabled when using Java.